0,0
0,1
0,2
0,3
0,4
0,5
0,6
0,7
0,8
0,9
0,10
0,11
0,12
0,13
0,14
0,15
0,16
0,17
0,18
0,19
0,20
0,21
0,22
0,23
0,24
0,25
0,26
0,27
0,28
1,0
1,1
1,2
1,3
1,4
1,5
1,6
1,7
1,8
1,9
1,10
1,11
1,12
1,13
1,14
1,15
1,16
1,17
1,18
1,19
1,20
1,21
1,22
1,23
1,24
1,25
1,26
1,27
1,28
2,0
2,1
2,2
2,3
2,4
2,5
2,6
2,7
2,8
2,9
2,10
2,11
2,12
2,13
2,14
2,15
2,16
2,17
2,18
2,19
2,20
2,21
2,22
2,23
2,24
2,25
2,26
2,27
2,28
3,0
3,1
3,2
3,3
3,4
3,5
3,6
3,7
3,8
3,9
3,10
3,11
3,12
3,13
3,14
3,15
3,16
3,17
3,18
3,19
3,20
3,21
3,22
3,23
3,24
3,25
3,26
3,27
3,28
4,0
4,1
4,2
4,3
4,4
4,5
4,6
4,7
4,8
4,9
4,10
4,11
4,12
4,13
4,14
4,15
4,16
4,17
4,18
4,19
4,20
4,21
4,22
4,23
4,24
4,25
4,26
4,27
4,28
5,0
5,1
5,2
5,3
5,4
5,5
5,6
5,7
5,8
5,9
5,10
5,11
5,12
5,13
5,14
5,15
5,16
5,17
5,18
5,19
5,20
5,21
5,22
5,23
5,24
5,25
5,26
5,27
5,28
6,0
6,1
6,2
6,3
6,4
6,5
6,6
6,7
6,8
6,9
6,10
6,11
6,12
6,13
6,14
6,15
6,16
6,17
6,18
6,19
6,20
6,21
6,22
6,23
6,24
6,25
6,26
6,27
6,28
7,0
7,1
7,2
7,3
7,4
7,5
7,6
7,7
7,8
7,9
7,10
7,11
7,12
7,13
7,14
7,15
7,16
7,17
7,18
7,19
7,20
7,21
7,22
7,23
7,24
7,25
7,26
7,27
7,28
8,0
8,1
8,2
8,3
8,4
8,5
8,6
8,7
8,8
8,9
8,10
8,11
8,12
8,13
8,14
8,15
8,16
8,17
8,18
8,19
8,20
8,21
8,22
8,23
8,24
8,25
8,26
8,27
8,28
9,0
9,1
9,2
9,3
9,4
9,5
9,6
9,7
9,8
9,9
9,10
9,11
9,12
9,13
9,14
9,15
9,16
9,17
9,18
9,19
9,20
9,21
9,22
9,23
9,24
9,25
9,26
9,27
9,28
10,0
10,1
10,2
10,3
10,4
10,5
10,6
10,7
10,8
10,9
10,10
10,11
10,12
10,13
10,14
10,15
10,16
10,17
10,18
10,19
10,20
10,21
10,22
10,23
10,24
10,25
10,26
10,27
10,28
11,0
11,1
11,2
11,3
11,4
11,5
11,6
11,7
11,8
11,9
11,10
11,11
11,12
11,13
11,14
11,15
11,16
11,17
11,18
11,19
11,20
11,21
11,22
11,23
11,24
11,25
11,26
11,27
11,28
12,0
12,1
12,2
12,3
12,4
12,5
12,6
12,7
12,8
12,9
12,10
12,11
12,12
12,13
12,14
12,15
12,16
12,17
12,18
12,19
12,20
12,21
12,22
12,23
12,24
12,25
12,26
12,27
12,28
13,0
13,1
13,2
13,3
13,4
13,5
13,6
13,7
13,8
13,9
13,10
13,11
13,12
13,13
13,14
13,15
13,16
13,17
13,18
13,19
13,20
13,21
13,22
13,23
13,24
13,25
13,26
13,27
13,28
14,0
14,1
14,2
14,3
14,4
14,5
14,6
14,7
14,8
14,9
14,10
14,11
14,12
14,13
14,14
14,15
14,16
14,17
14,18
14,19
14,20
14,21
14,22
14,23
14,24
14,25
14,26
14,27
14,28
15,0
15,1
15,2
15,3
15,4
15,5
15,6
15,7
15,8
15,9
15,10
15,11
15,12
15,13
15,14
15,15
15,16
15,17
15,18
15,19
15,20
15,21
15,22
15,23
15,24
15,25
15,26
15,27
15,28
16,0
16,1
16,2
16,3
16,4
16,5
16,6
16,7
16,8
16,9
16,10
16,11
16,12
16,13
16,14
16,15
16,16
16,17
16,18
16,19
16,20
16,21
16,22
16,23
16,24
16,25
16,26
16,27
16,28
17,0
17,1
17,2
17,3
17,4
17,5
17,6
17,7
17,8
17,9
17,10
17,11
17,12
17,13
17,14
17,15
17,16
17,17
17,18
17,19
17,20
17,21
17,22
17,23
17,24
17,25
17,26
17,27
17,28
18,0
18,1
18,2
18,3
18,4
18,5
18,6
18,7
18,8
18,9
18,10
18,11
18,12
18,13
18,14
18,15
18,16
18,17
18,18
18,19
18,20
18,21
18,22
18,23
18,24
18,25
18,26
18,27
18,28
19,0
19,1
19,2
19,3
19,4
19,5
19,6
19,7
19,8
19,9
19,10
19,11
19,12
19,13
19,14
19,15
19,16
19,17
19,18
19,19
19,20
19,21
19,22
19,23
19,24
19,25
19,26
19,27
19,28
20,0
20,1
20,2
20,3
20,4
20,5
20,6
20,7
20,8
20,9
20,10
20,11
20,12
20,13
20,14
20,15
20,16
20,17
20,18
20,19
20,20
20,21
20,22
20,23
20,24
20,25
20,26
20,27
20,28
21,0
21,1
21,2
21,3
21,4
21,5
21,6
21,7
21,8
21,9
21,10
21,11
21,12
21,13
21,14
21,15
21,16
21,17
21,18
21,19
21,20
21,21
21,22
21,23
21,24
21,25
21,26
21,27
21,28
22,0
22,1
22,2
22,3
22,4
22,5
22,6
22,7
22,8
22,9
22,10
22,11
22,12
22,13
22,14
22,15
22,16
22,17
22,18
22,19
22,20
22,21
22,22
22,23
22,24
22,25
22,26
22,27
22,28
23,0
23,1
23,2
23,3
23,4
23,5
23,6
23,7
23,8
23,9
23,10
23,11
23,12
23,13
23,14
23,15
23,16
23,17
23,18
23,19
23,20
23,21
23,22
23,23
23,24
23,25
23,26
23,27
23,28
24,0
24,1
24,2
24,3
24,4
24,5
24,6
24,7
24,8
24,9
24,10
24,11
24,12
24,13
24,14
24,15
24,16
24,17
24,18
24,19
24,20
24,21
24,22
24,23
24,24
24,25
24,26
24,27
24,28
25,0
25,1
25,2
25,3
25,4
25,5
25,6
25,7
25,8
25,9
25,10
25,11
25,12
25,13
25,14
25,15
25,16
25,17
25,18
25,19
25,20
25,21
25,22
25,23
25,24
25,25
25,26
25,27
25,28
26,0
26,1
26,2
26,3
26,4
26,5
26,6
26,7
26,8
26,9
26,10
26,11
26,12
26,13
26,14
26,15
26,16
26,17
26,18
26,19
26,20
26,21
26,22
26,23
26,24
26,25
26,26
26,27
26,28
27,0
27,1
27,2
27,3
27,4
27,5
27,6
27,7
27,8
27,9
27,10
27,11
27,12
27,13
27,14
27,15
27,16
27,17
27,18
27,19
27,20
27,21
27,22
27,23
27,24
27,25
27,26
27,27
27,28
28,0
28,1
28,2
28,3
28,4
28,5
28,6
28,7
28,8
28,9
28,10
28,11
28,12
28,13
28,14
28,15
28,16
28,17
28,18
28,19
28,20
28,21
28,22
28,23
28,24
28,25
28,26
28,27
28,28
29,0
29,1
29,2
29,3
29,4
29,5
29,6
29,7
29,8
29,9
29,10
29,11
29,12
29,13
29,14
29,15
29,16
29,17
29,18
29,19
29,20
29,21
29,22
29,23
29,24
29,25
29,26
29,27
29,28
30,0
30,1
30,2
30,3
30,4
30,5
30,6
30,7
30,8
30,9
30,10
30,11
30,12
30,13
30,14
30,15
30,16
30,17
30,18
30,19
30,20
30,21
30,22
30,23
30,24
30,25
30,26
30,27
30,28
31,0
31,1
31,2
31,3
31,4
31,5
31,6
31,7
31,8
31,9
31,10
31,11
31,12
31,13
31,14
31,15
31,16
31,17
31,18
31,19
31,20
31,21
31,22
31,23
31,24
31,25
31,26
31,27
31,28
32,0
32,1
32,2
32,3
32,4
32,5
32,6
32,7
32,8
32,9
32,10
32,11
32,12
32,13
32,14
32,15
32,16
32,17
32,18
32,19
32,20
32,21
32,22
32,23
32,24
32,25
32,26
32,27
32,28
33,0
33,1
33,2
33,3
33,4
33,5
33,6
33,7
33,8
33,9
33,10
33,11
33,12
33,13
33,14
33,15
33,16
33,17
33,18
33,19
33,20
33,21
33,22
33,23
33,24
33,25
33,26
33,27
33,28
34,0
34,1
34,2
34,3
34,4
34,5
34,6
34,7
34,8
34,9
34,10
34,11
34,12
34,13
34,14
34,15
34,16
34,17
34,18
34,19
34,20
34,21
34,22
34,23
34,24
34,25
34,26
34,27
34,28
35,0
35,1
35,2
35,3
35,4
35,5
35,6
35,7
35,8
35,9
35,10
35,11
35,12
35,13
35,14
35,15
35,16
35,17
35,18
35,19
35,20
35,21
35,22
35,23
35,24
35,25
35,26
35,27
35,28
36,0
36,1
36,2
36,3
36,4
36,5
36,6
36,7
36,8
36,9
36,10
36,11
36,12
36,13
36,14
36,15
36,16
36,17
36,18
36,19
36,20
36,21
36,22
36,23
36,24
36,25
36,26
36,27
36,28
37,0
37,1
37,2
37,3
37,4
37,5
37,6
37,7
37,8
37,9
37,10
37,11
37,12
37,13
37,14
37,15
37,16
37,17
37,18
37,19
37,20
37,21
37,22
37,23
37,24
37,25
37,26
37,27
37,28
38,0
38,1
38,2
38,3
38,4
38,5
38,6
38,7
38,8
38,9
38,10
38,11
38,12
38,13
38,14
38,15
38,16
38,17
38,18
38,19
38,20
38,21
38,22
38,23
38,24
38,25
38,26
38,27
38,28
39,0
39,1
39,2
39,3
39,4
39,5
39,6
39,7
39,8
39,9
39,10
39,11
39,12
39,13
39,14
39,15
39,16
39,17
39,18
39,19
39,20
39,21
39,22
39,23
39,24
39,25
39,26
39,27
39,28
40,0
40,1
40,2
40,3
40,4
40,5
40,6
40,7
40,8
40,9
40,10
40,11
40,12
40,13
40,14
40,15
40,16
40,17
40,18
40,19
40,20
40,21
40,22
40,23
40,24
40,25
40,26
40,27
40,28
41,0
41,1
41,2
41,3
41,4
41,5
41,6
41,7
41,8
41,9
41,10
41,11
41,12
41,13
41,14
41,15
41,16
41,17
41,18
41,19
41,20
41,21
41,22
41,23
41,24
41,25
41,26
41,27
41,28
42,0
42,1
42,2
42,3
42,4
42,5
42,6
42,7
42,8
42,9
42,10
42,11
42,12
42,13
42,14
42,15
42,16
42,17
42,18
42,19
42,20
42,21
42,22
42,23
42,24
42,25
42,26
42,27
42,28
43,0
43,1
43,2
43,3
43,4
43,5
43,6
43,7
43,8
43,9
43,10
43,11
43,12
43,13
43,14
43,15
43,16
43,17
43,18
43,19
43,20
43,21
43,22
43,23
43,24
43,25
43,26
43,27
43,28
44,0
44,1
44,2
44,3
44,4
44,5
44,6
44,7
44,8
44,9
44,10
44,11
44,12
44,13
44,14
44,15
44,16
44,17
44,18
44,19
44,20
44,21
44,22
44,23
44,24
44,25
44,26
44,27
44,28
45,0
45,1
45,2
45,3
45,4
45,5
45,6
45,7
45,8
45,9
45,10
45,11
45,12
45,13
45,14
45,15
45,16
45,17
45,18
45,19
45,20
45,21
45,22
45,23
45,24
45,25
45,26
45,27
45,28
46,0
46,1
46,2
46,3
46,4
46,5
46,6
46,7
46,8
46,9
46,10
46,11
46,12
46,13
46,14
46,15
46,16
46,17
46,18
46,19
46,20
46,21
46,22
46,23
46,24
46,25
46,26
46,27
46,28
47,0
47,1
47,2
47,3
47,4
47,5
47,6
47,7
47,8
47,9
47,10
47,11
47,12
47,13
47,14
47,15
47,16
47,17
47,18
47,19
47,20
47,21
47,22
47,23
47,24
47,25
47,26
47,27
47,28
48,0
48,1
48,2
48,3
48,4
48,5
48,6
48,7
48,8
48,9
48,10
48,11
48,12
48,13
48,14
48,15
48,16
48,17
48,18
48,19
48,20
48,21
48,22
48,23
48,24
48,25
48,26
48,27
48,28
49,0
49,1
49,2
49,3
49,4
49,5
49,6
49,7
49,8
49,9
49,10
49,11
49,12
49,13
49,14
49,15
49,16
49,17
49,18
49,19
49,20
49,21
49,22
49,23
49,24
49,25
49,26
49,27
49,28
50,0
50,1
50,2
50,3
50,4
50,5
50,6
50,7
50,8
50,9
50,10
50,11
50,12
50,13
50,14
50,15
50,16
50,17
50,18
50,19
50,20
50,21
50,22
50,23
50,24
50,25
50,26
50,27
50,28
51,0
51,1
51,2
51,3
51,4
51,5
51,6
51,7
51,8
51,9
51,10
51,11
51,12
51,13
51,14
51,15
51,16
51,17
51,18
51,19
51,20
51,21
51,22
51,23
51,24
51,25
51,26
51,27
51,28
52,0
52,1
52,2
52,3
52,4
52,5
52,6
52,7
52,8
52,9
52,10
52,11
52,12
52,13
52,14
52,15
52,16
52,17
52,18
52,19
52,20
52,21
52,22
52,23
52,24
52,25
52,26
52,27
52,28
53,0
53,1
53,2
53,3
53,4
53,5
53,6
53,7
53,8
53,9
53,10
53,11
53,12
53,13
53,14
53,15
53,16
53,17
53,18
53,19
53,20
53,21
53,22
53,23
53,24
53,25
53,26
53,27
53,28
54,0
54,1
54,2
54,3
54,4
54,5
54,6
54,7
54,8
54,9
54,10
54,11
54,12
54,13
54,14
54,15
54,16
54,17
54,18
54,19
54,20
54,21
54,22
54,23
54,24
54,25
54,26
54,27
54,28
55,0
55,1
55,2
55,3
55,4
55,5
55,6
55,7
55,8
55,9
55,10
55,11
55,12
55,13
55,14
55,15
55,16
55,17
55,18
55,19
55,20
55,21
55,22
55,23
55,24
55,25
55,26
55,27
55,28
56,0
56,1
56,2
56,3
56,4
56,5
56,6
56,7
56,8
56,9
56,10
56,11
56,12
56,13
56,14
56,15
56,16
56,17
56,18
56,19
56,20
56,21
56,22
56,23
56,24
56,25
56,26
56,27
56,28
57,0
57,1
57,2
57,3
57,4
57,5
57,6
57,7
57,8
57,9
57,10
57,11
57,12
57,13
57,14
57,15
57,16
57,17
57,18
57,19
57,20
57,21
57,22
57,23
57,24
57,25
57,26
57,27
57,28
58,0
58,1
58,2
58,3
58,4
58,5
58,6
58,7
58,8
58,9
58,10
58,11
58,12
58,13
58,14
58,15
58,16
58,17
58,18
58,19
58,20
58,21
58,22
58,23
58,24
58,25
58,26
58,27
58,28
59,0
59,1
59,2
59,3
59,4
59,5
59,6
59,7
59,8
59,9
59,10
59,11
59,12
59,13
59,14
59,15
59,16
59,17
59,18
59,19
59,20
59,21
59,22
59,23
59,24
59,25
59,26
59,27
59,28
60,0
60,1
60,2
60,3
60,4
60,5
60,6
60,7
60,8
60,9
60,10
60,11
60,12
60,13
60,14
60,15
60,16
60,17
60,18
60,19
60,20
60,21
60,22
60,23
60,24
60,25
60,26
60,27
60,28
61,0
61,1
61,2
61,3
61,4
61,5
61,6
61,7
61,8
61,9
61,10
61,11
61,12
61,13
61,14
61,15
61,16
61,17
61,18
61,19
61,20
61,21
61,22
61,23
61,24
61,25
61,26
61,27
61,28
62,0
62,1
62,2
62,3
62,4
62,5
62,6
62,7
62,8
62,9
62,10
62,11
62,12
62,13
62,14
62,15
62,16
62,17
62,18
62,19
62,20
62,21
62,22
62,23
62,24
62,25
62,26
62,27
62,28
63,0
63,1
63,2
63,3
63,4
63,5
63,6
63,7
63,8
63,9
63,10
63,11
63,12
63,13
63,14
63,15
63,16
63,17
63,18
63,19
63,20
63,21
63,22
63,23
63,24
63,25
63,26
63,27
63,28
64,0
64,1
64,2
64,3
64,4
64,5
64,6
64,7
64,8
64,9
64,10
64,11
64,12
64,13
64,14
64,15
64,16
64,17
64,18
64,19
64,20
64,21
64,22
64,23
64,24
64,25
64,26
64,27
64,28
65,0
65,1
65,2
65,3
65,4
65,5
65,6
65,7
65,8
65,9
65,10
65,11
65,12
65,13
65,14
65,15
65,16
65,17
65,18
65,19
65,20
65,21
65,22
65,23
65,24
65,25
65,26
65,27
65,28
66,0
66,1
66,2
66,3
66,4
66,5
66,6
66,7
66,8
66,9
66,10
66,11
66,12
66,13
66,14
66,15
66,16
66,17
66,18
66,19
66,20
66,21
66,22
66,23
66,24
66,25
66,26
66,27
66,28
67,0
67,1
67,2
67,3
67,4
67,5
67,6
67,7
67,8
67,9
67,10
67,11
67,12
67,13
67,14
67,15
67,16
67,17
67,18
67,19
67,20
67,21
67,22
67,23
67,24
67,25
67,26
67,27
67,28
68,0
68,1
68,2
68,3
68,4
68,5
68,6
68,7
68,8
68,9
68,10
68,11
68,12
68,13
68,14
68,15
68,16
68,17
68,18
68,19
68,20
68,21
68,22
68,23
68,24
68,25
68,26
68,27
68,28
69,0
69,1
69,2
69,3
69,4
69,5
69,6
69,7
69,8
69,9
69,10
69,11
69,12
69,13
69,14
69,15
69,16
69,17
69,18
69,19
69,20
69,21
69,22
69,23
69,24
69,25
69,26
69,27
69,28
70,0
70,1
70,2
70,3
70,4
70,5
70,6
70,7
70,8
70,9
70,10
70,11
70,12
70,13
70,14
70,15
70,16
70,17
70,18
70,19
70,20
70,21
70,22
70,23
70,24
70,25
70,26
70,27
70,28
71,0
71,1
71,2
71,3
71,4
71,5
71,6
71,7
71,8
71,9
71,10
71,11
71,12
71,13
71,14
71,15
71,16
71,17
71,18
71,19
71,20
71,21
71,22
71,23
71,24
71,25
71,26
71,27
71,28
72,0
72,1
72,2
72,3
72,4
72,5
72,6
72,7
72,8
72,9
72,10
72,11
72,12
72,13
72,14
72,15
72,16
72,17
72,18
72,19
72,20
72,21
72,22
72,23
72,24
72,25
72,26
72,27
72,28
73,0
73,1
73,2
73,3
73,4
73,5
73,6
73,7
73,8
73,9
73,10
73,11
73,12
73,13
73,14
73,15
73,16
73,17
73,18
73,19
73,20
73,21
73,22
73,23
73,24
73,25
73,26
73,27
73,28
74,0
74,1
74,2
74,3
74,4
74,5
74,6
74,7
74,8
74,9
74,10
74,11
74,12
74,13
74,14
74,15
74,16
74,17
74,18
74,19
74,20
74,21
74,22
74,23
74,24
74,25
74,26
74,27
74,28
75,0
75,1
75,2
75,3
75,4
75,5
75,6
75,7
75,8
75,9
75,10
75,11
75,12
75,13
75,14
75,15
75,16
75,17
75,18
75,19
75,20
75,21
75,22
75,23
75,24
75,25
75,26
75,27
75,28
76,0
76,1
76,2
76,3
76,4
76,5
76,6
76,7
76,8
76,9
76,10
76,11
76,12
76,13
76,14
76,15
76,16
76,17
76,18
76,19
76,20
76,21
76,22
76,23
76,24
76,25
76,26
76,27
76,28
77,0
77,1
77,2
77,3
77,4
77,5
77,6
77,7
77,8
77,9
77,10
77,11
77,12
77,13
77,14
77,15
77,16
77,17
77,18
77,19
77,20
77,21
77,22
77,23
77,24
77,25
77,26
77,27
77,28
78,0
78,1
78,2
78,3
78,4
78,5
78,6
78,7
78,8
78,9
78,10
78,11
78,12
78,13
78,14
78,15
78,16
78,17
78,18
78,19
78,20
78,21
78,22
78,23
78,24
78,25
78,26
78,27
78,28
79,0
79,1
79,2
79,3
79,4
79,5
79,6
79,7
79,8
79,9
79,10
79,11
79,12
79,13
79,14
79,15
79,16
79,17
79,18
79,19
79,20
79,21
79,22
79,23
79,24
79,25
79,26
79,27
79,28
80,0
80,1
80,2
80,3
80,4
80,5
80,6
80,7
80,8
80,9
80,10
80,11
80,12
80,13
80,14
80,15
80,16
80,17
80,18
80,19
80,20
80,21
80,22
80,23
80,24
80,25
80,26
80,27
80,28
81,0
81,1
81,2
81,3
81,4
81,5
81,6
81,7
81,8
81,9
81,10
81,11
81,12
81,13
81,14
81,15
81,16
81,17
81,18
81,19
81,20
81,21
81,22
81,23
81,24
81,25
81,26
81,27
81,28
82,0
82,1
82,2
82,3
82,4
82,5
82,6
82,7
82,8
82,9
82,10
82,11
82,12
82,13
82,14
82,15
82,16
82,17
82,18
82,19
82,20
82,21
82,22
82,23
82,24
82,25
82,26
82,27
82,28
83,0
83,1
83,2
83,3
83,4
83,5
83,6
83,7
83,8
83,9
83,10
83,11
83,12
83,13
83,14
83,15
83,16
83,17
83,18
83,19
83,20
83,21
83,22
83,23
83,24
83,25
83,26
83,27
83,28
84,0
84,1
84,2
84,3
84,4
84,5
84,6
84,7
84,8
84,9
84,10
84,11
84,12
84,13
84,14
84,15
84,16
84,17
84,18
84,19
84,20
84,21
84,22
84,23
84,24
84,25
84,26
84,27
84,28
85,0
85,1
85,2
85,3
85,4
85,5
85,6
85,7
85,8
85,9
85,10
85,11
85,12
85,13
85,14
85,15
85,16
85,17
85,18
85,19
85,20
85,21
85,22
85,23
85,24
85,25
85,26
85,27
85,28
86,0
86,1
86,2
86,3
86,4
86,5
86,6
86,7
86,8
86,9
86,10
86,11
86,12
86,13
86,14
86,15
86,16
86,17
86,18
86,19
86,20
86,21
86,22
86,23
86,24
86,25
86,26
86,27
86,28
87,0
87,1
87,2
87,3
87,4
87,5
87,6
87,7
87,8
87,9
87,10
87,11
87,12
87,13
87,14
87,15
87,16
87,17
87,18
87,19
87,20
87,21
87,22
87,23
87,24
87,25
87,26
87,27
87,28
88,0
88,1
88,2
88,3
88,4
88,5
88,6
88,7
88,8
88,9
88,10
88,11
88,12
88,13
88,14
88,15
88,16
88,17
88,18
88,19
88,20
88,21
88,22
88,23
88,24
88,25
88,26
88,27
88,28
89,0
89,1
89,2
89,3
89,4
89,5
89,6
89,7
89,8
89,9
89,10
89,11
89,12
89,13
89,14
89,15
89,16
89,17
89,18
89,19
89,20
89,21
89,22
89,23
89,24
89,25
89,26
89,27
89,28
90,0
90,1
90,2
90,3
90,4
90,5
90,6
90,7
90,8
90,9
90,10
90,11
90,12
90,13
90,14
90,15
90,16
90,17
90,18
90,19
90,20
90,21
90,22
90,23
90,24
90,25
90,26
90,27
90,28
91,0
91,1
91,2
91,3
91,4
91,5
91,6
91,7
91,8
91,9
91,10
91,11
91,12
91,13
91,14
91,15
91,16
91,17
91,18
91,19
91,20
91,21
91,22
91,23
91,24
91,25
91,26
91,27
91,28
92,0
92,1
92,2
92,3
92,4
92,5
92,6
92,7
92,8
92,9
92,10
92,11
92,12
92,13
92,14
92,15
92,16
92,17
92,18
92,19
92,20
92,21
92,22
92,23
92,24
92,25
92,26
92,27
92,28
93,0
93,1
93,2
93,3
93,4
93,5
93,6
93,7
93,8
93,9
93,10
93,11
93,12
93,13
93,14
93,15
93,16
93,17
93,18
93,19
93,20
93,21
93,22
93,23
93,24
93,25
93,26
93,27
93,28
94,0
94,1
94,2
94,3
94,4
94,5
94,6
94,7
94,8
94,9
94,10
94,11
94,12
94,13
94,14
94,15
94,16
94,17
94,18
94,19
94,20
94,21
94,22
94,23
94,24
94,25
94,26
94,27
94,28
95,0
95,1
95,2
95,3
95,4
95,5
95,6
95,7
95,8
95,9
95,10
95,11
95,12
95,13
95,14
95,15
95,16
95,17
95,18
95,19
95,20
95,21
95,22
95,23
95,24
95,25
95,26
95,27
95,28
96,0
96,1
96,2
96,3
96,4
96,5
96,6
96,7
96,8
96,9
96,10
96,11
96,12
96,13
96,14
96,15
96,16
96,17
96,18
96,19
96,20
96,21
96,22
96,23
96,24
96,25
96,26
96,27
96,28
97,0
97,1
97,2
97,3
97,4
97,5
97,6
97,7
97,8
97,9
97,10
97,11
97,12
97,13
97,14
97,15
97,16
97,17
97,18
97,19
97,20
97,21
97,22
97,23
97,24
97,25
97,26
97,27
97,28
98,0
98,1
98,2
98,3
98,4
98,5
98,6
98,7
98,8
98,9
98,10
98,11
98,12
98,13
98,14
98,15
98,16
98,17
98,18
98,19
98,20
98,21
98,22
98,23
98,24
98,25
98,26
98,27
98,28
99,0
99,1
99,2
99,3
99,4
99,5
99,6
99,7
99,8
99,9
99,10
99,11
99,12
99,13
99,14
99,15
99,16
99,17
99,18
99,19
99,20
99,21
99,22
99,23
99,24
99,25
99,26
99,27
99,28
100,0
100,1
100,2
100,3
100,4
100,5
100,6
100,7
100,8
100,9
100,10
100,11
100,12
100,13
100,14
100,15
100,16
100,17
100,18
100,19
100,20
100,21
100,22
100,23
100,24
100,25
100,26
100,27
100,28
101,0
101,1
101,2
101,3
101,4
101,5
101,6
101,7
101,8
101,9
101,10
101,11
101,12
101,13
101,14
101,15
101,16
101,17
101,18
101,19
101,20
101,21
101,22
101,23
101,24
101,25
101,26
101,27
101,28
102,0
102,1
102,2
102,3
102,4
102,5
102,6
102,7
102,8
102,9
102,10
102,11
102,12
102,13
102,14
102,15
102,16
102,17
102,18
102,19
102,20
102,21
102,22
102,23
102,24
102,25
102,26
102,27
102,28
103,0
103,1
103,2
103,3
103,4
103,5
103,6
103,7
103,8
103,9
103,10
103,11
103,12
103,13
103,14
103,15
103,16
103,17
103,18
103,19
103,20
103,21
103,22
103,23
103,24
103,25
103,26
103,27
103,28
104,0
104,1
104,2
104,3
104,4
104,5
104,6
104,7
104,8
104,9
104,10
104,11
104,12
104,13
104,14
104,15
104,16
104,17
104,18
104,19
104,20
104,21
104,22
104,23
104,24
104,25
104,26
104,27
104,28
105,0
105,1
105,2
105,3
105,4
105,5
105,6
105,7
105,8
105,9
105,10
105,11
105,12
105,13
105,14
105,15
105,16
105,17
105,18
105,19
105,20
105,21
105,22
105,23
105,24
105,25
105,26
105,27
105,28
106,0
106,1
106,2
106,3
106,4
106,5
106,6
106,7
106,8
106,9
106,10
106,11
106,12
106,13
106,14
106,15
106,16
106,17
106,18
106,19
106,20
106,21
106,22
106,23
106,24
106,25
106,26
106,27
106,28
107,0
107,1
107,2
107,3
107,4
107,5
107,6
107,7
107,8
107,9
107,10
107,11
107,12
107,13
107,14
107,15
107,16
107,17
107,18
107,19
107,20
107,21
107,22
107,23
107,24
107,25
107,26
107,27
107,28
108,0
108,1
108,2
108,3
108,4
108,5
108,6
108,7
108,8
108,9
108,10
108,11
108,12
108,13
108,14
108,15
108,16
108,17
108,18
108,19
108,20
108,21
108,22
108,23
108,24
108,25
108,26
108,27
108,28
109,0
109,1
109,2
109,3
109,4
109,5
109,6
109,7
109,8
109,9
109,10
109,11
109,12
109,13
109,14
109,15
109,16
109,17
109,18
109,19
109,20
109,21
109,22
109,23
109,24
109,25
109,26
109,27
109,28
110,0
110,1
110,2
110,3
110,4
110,5
110,6
110,7
110,8
110,9
110,10
110,11
110,12
110,13
110,14
110,15
110,16
110,17
110,18
110,19
110,20
110,21
110,22
110,23
110,24
110,25
110,26
110,27
110,28
111,0
111,1
111,2
111,3
111,4
111,5
111,6
111,7
111,8
111,9
111,10
111,11
111,12
111,13
111,14
111,15
111,16
111,17
111,18
111,19
111,20
111,21
111,22
111,23
111,24
111,25
111,26
111,27
111,28
112,0
112,1
112,2
112,3
112,4
112,5
112,6
112,7
112,8
112,9
112,10
112,11
112,12
112,13
112,14
112,15
112,16
112,17
112,18
112,19
112,20
112,21
112,22
112,23
112,24
112,25
112,26
112,27
112,28
113,0
113,1
113,2
113,3
113,4
113,5
113,6
113,7
113,8
113,9
113,10
113,11
113,12
113,13
113,14
113,15
113,16
113,17
113,18
113,19
113,20
113,21
113,22
113,23
113,24
113,25
113,26
113,27
113,28
114,0
114,1
114,2
114,3
114,4
114,5
114,6
114,7
114,8
114,9
114,10
114,11
114,12
114,13
114,14
114,15
114,16
114,17
114,18
114,19
114,20
114,21
114,22
114,23
114,24
114,25
114,26
114,27
114,28
115,0
115,1
115,2
115,3
115,4
115,5
115,6
115,7
115,8
115,9
115,10
115,11
115,12
115,13
115,14
115,15
115,16
115,17
115,18
115,19
115,20
115,21
115,22
115,23
115,24
115,25
115,26
115,27
115,28
116,0
116,1
116,2
116,3
116,4
116,5
116,6
116,7
116,8
116,9
116,10
116,11
116,12
116,13
116,14
116,15
116,16
116,17
116,18
116,19
116,20
116,21
116,22
116,23
116,24
116,25
116,26
116,27
116,28
117,0
117,1
117,2
117,3
117,4
117,5
117,6
117,7
117,8
117,9
117,10
117,11
117,12
117,13
117,14
117,15
117,16
117,17
117,18
117,19
117,20
117,21
117,22
117,23
117,24
117,25
117,26
117,27
117,28
118,0
118,1
118,2
118,3
118,4
118,5
118,6
118,7
118,8
118,9
118,10
118,11
118,12
118,13
118,14
118,15
118,16
118,17
118,18
118,19
118,20
118,21
118,22
118,23
118,24
118,25
118,26
118,27
118,28
119,0
119,1
119,2
119,3
119,4
119,5
119,6
119,7
119,8
119,9
119,10
119,11
119,12
119,13
119,14
119,15
119,16
119,17
119,18
119,19
119,20
119,21
119,22
119,23
119,24
119,25
119,26
119,27
119,28
120,0
120,1
120,2
120,3
120,4
120,5
120,6
120,7
120,8
120,9
120,10
120,11
120,12
120,13
120,14
120,15
120,16
120,17
120,18
120,19
120,20
120,21
120,22
120,23
120,24
120,25
120,26
120,27
120,28
121,0
121,1
121,2
121,3
121,4
121,5
121,6
121,7
121,8
121,9
121,10
121,11
121,12
121,13
121,14
121,15
121,16
121,17
121,18
121,19
121,20
121,21
121,22
121,23
121,24
121,25
121,26
121,27
121,28
122,0
122,1
122,2
122,3
122,4
122,5
122,6
122,7
122,8
122,9
122,10
122,11
122,12
122,13
122,14
122,15
122,16
122,17
122,18
122,19
122,20
122,21
122,22
122,23
122,24
122,25
122,26
122,27
122,28
123,0
123,1
123,2
123,3
123,4
123,5
123,6
123,7
123,8
123,9
123,10
123,11
123,12
123,13
123,14
123,15
123,16
123,17
123,18
123,19
123,20
123,21
123,22
123,23
123,24
123,25
123,26
123,27
123,28
124,0
124,1
124,2
124,3
124,4
124,5
124,6
124,7
124,8
124,9
124,10
124,11
124,12
124,13
124,14
124,15
124,16
124,17
124,18
124,19
124,20
124,21
124,22
124,23
124,24
124,25
124,26
124,27
124,28
125,0
125,1
125,2
125,3
125,4
125,5
125,6
125,7
125,8
125,9
125,10
125,11
125,12
125,13
125,14
125,15
125,16
125,17
125,18
125,19
125,20
125,21
125,22
125,23
125,24
125,25
125,26
125,27
125,28
126,0
126,1
126,2
126,3
126,4
126,5
126,6
126,7
126,8
126,9
126,10
126,11
126,12
126,13
126,14
126,15
126,16
126,17
126,18
126,19
126,20
126,21
126,22
126,23
126,24
126,25
126,26
126,27
126,28
127,0
127,1
127,2
127,3
127,4
127,5
127,6
127,7
127,8
127,9
127,10
127,11
127,12
127,13
127,14
127,15
127,16
127,17
127,18
127,19
127,20
127,21
127,22
127,23
127,24
127,25
127,26
127,27
127,28
128,0
128,1
128,2
128,3
128,4
128,5
128,6
128,7
128,8
128,9
128,10
128,11
128,12
128,13
128,14
128,15
128,16
128,17
128,18
128,19
128,20
128,21
128,22
128,23
128,24
128,25
128,26
128,27
128,28
129,0
129,1
129,2
129,3
129,4
129,5
129,6
129,7
129,8
129,9
129,10
129,11
129,12
129,13
129,14
129,15
129,16
129,17
129,18
129,19
129,20
129,21
129,22
129,23
129,24
129,25
129,26
129,27
129,28
130,0
130,1
130,2
130,3
130,4
130,5
130,6
130,7
130,8
130,9
130,10
130,11
130,12
130,13
130,14
130,15
130,16
130,17
130,18
130,19
130,20
130,21
130,22
130,23
130,24
130,25
130,26
130,27
130,28
131,0
131,1
131,2
131,3
131,4
131,5
131,6
131,7
131,8
131,9
131,10
131,11
131,12
131,13
131,14
131,15
131,16
131,17
131,18
131,19
131,20
131,21
131,22
131,23
131,24
131,25
131,26
131,27
131,28
132,0
132,1
132,2
132,3
132,4
132,5
132,6
132,7
132,8
132,9
132,10
132,11
132,12
132,13
132,14
132,15
132,16
132,17
132,18
132,19
132,20
132,21
132,22
132,23
132,24
132,25
132,26
132,27
132,28
133,0
133,1
133,2
133,3
133,4
133,5
133,6
133,7
133,8
133,9
133,10
133,11
133,12
133,13
133,14
133,15
133,16
133,17
133,18
133,19
133,20
133,21
133,22
133,23
133,24
133,25
133,26
133,27
133,28
134,0
134,1
134,2
134,3
134,4
134,5
134,6
134,7
134,8
134,9
134,10
134,11
134,12
134,13
134,14
134,15
134,16
134,17
134,18
134,19
134,20
134,21
134,22
134,23
134,24
134,25
134,26
134,27
134,28
135,0
135,1
135,2
135,3
135,4
135,5
135,6
135,7
135,8
135,9
135,10
135,11
135,12
135,13
135,14
135,15
135,16
135,17
135,18
135,19
135,20
135,21
135,22
135,23
135,24
135,25
135,26
135,27
135,28
136,0
136,1
136,2
136,3
136,4
136,5
136,6
136,7
136,8
136,9
136,10
136,11
136,12
136,13
136,14
136,15
136,16
136,17
136,18
136,19
136,20
136,21
136,22
136,23
136,24
136,25
136,26
136,27
136,28
137,0
137,1
137,2
137,3
137,4
137,5
137,6
137,7
137,8
137,9
137,10
137,11
137,12
137,13
137,14
137,15
137,16
137,17
137,18
137,19
137,20
137,21
137,22
137,23
137,24
137,25
137,26
137,27
137,28
138,0
138,1
138,2
138,3
138,4
138,5
138,6
138,7
138,8
138,9
138,10
138,11
138,12
138,13
138,14
138,15
138,16
138,17
138,18
138,19
138,20
138,21
138,22
138,23
138,24
138,25
138,26
138,27
138,28
139,0
139,1
139,2
139,3
139,4
139,5
139,6
139,7
139,8
139,9
139,10
139,11
139,12
139,13
139,14
139,15
139,16
139,17
139,18
139,19
139,20
139,21
139,22
139,23
139,24
139,25
139,26
139,27
139,28
140,0
140,1
140,2
140,3
140,4
140,5
140,6
140,7
140,8
140,9
140,10
140,11
140,12
140,13
140,14
140,15
140,16
140,17
140,18
140,19
140,20
140,21
140,22
140,23
140,24
140,25
140,26
140,27
140,28
141,0
141,1
141,2
141,3
141,4
141,5
141,6
141,7
141,8
141,9
141,10
141,11
141,12
141,13
141,14
141,15
141,16
141,17
141,18
141,19
141,20
141,21
141,22
141,23
141,24
141,25
141,26
141,27
141,28
142,0
142,1
142,2
142,3
142,4
142,5
142,6
142,7
142,8
142,9
142,10
142,11
142,12
142,13
142,14
142,15
142,16
142,17
142,18
142,19
142,20
142,21
142,22
142,23
142,24
142,25
142,26
142,27
142,28
143,0
143,1
143,2
143,3
143,4
143,5
143,6
143,7
143,8
143,9
143,10
143,11
143,12
143,13
143,14
143,15
143,16
143,17
143,18
143,19
143,20
143,21
143,22
143,23
143,24
143,25
143,26
143,27
143,28
144,0
144,1
144,2
144,3
144,4
144,5
144,6
144,7
144,8
144,9
144,10
144,11
144,12
144,13
144,14
144,15
144,16
144,17
144,18
144,19
144,20
144,21
144,22
144,23
144,24
144,25
144,26
144,27
144,28
145,0
145,1
145,2
145,3
145,4
145,5
145,6
145,7
145,8
145,9
145,10
145,11
145,12
145,13
145,14
145,15
145,16
145,17
145,18
145,19
145,20
145,21
145,22
145,23
145,24
145,25
145,26
145,27
145,28
146,0
146,1
146,2
146,3
146,4
146,5
146,6
146,7
146,8
146,9
146,10
146,11
146,12
146,13
146,14
146,15
146,16
146,17
146,18
146,19
146,20
146,21
146,22
146,23
146,24
146,25
146,26
146,27
146,28
147,0
147,1
147,2
147,3
147,4
147,5
147,6
147,7
147,8
147,9
147,10
147,11
147,12
147,13
147,14
147,15
147,16
147,17
147,18
147,19
147,20
147,21
147,22
147,23
147,24
147,25
147,26
147,27
147,28
148,0
148,1
148,2
148,3
148,4
148,5
148,6
148,7
148,8
148,9
148,10
148,11
148,12
148,13
148,14
148,15
148,16
148,17
148,18
148,19
148,20
148,21
148,22
148,23
148,24
148,25
148,26
148,27
148,28
149,0
149,1
149,2
149,3
149,4
149,5
149,6
149,7
149,8
149,9
149,10
149,11
149,12
149,13
149,14
149,15
149,16
149,17
149,18
149,19
149,20
149,21
149,22
149,23
149,24
149,25
149,26
149,27
149,28
150,0
150,1
150,2
150,3
150,4
150,5
150,6
150,7
150,8
150,9
150,10
150,11
150,12
150,13
150,14
150,15
150,16
150,17
150,18
150,19
150,20
150,21
150,22
150,23
150,24
150,25
150,26
150,27
150,28
151,0
151,1
151,2
151,3
151,4
151,5
151,6
151,7
151,8
151,9
151,10
151,11
151,12
151,13
151,14
151,15
151,16
151,17
151,18
151,19
151,20
151,21
151,22
151,23
151,24
151,25
151,26
151,27
151,28
152,0
152,1
152,2
152,3
152,4
152,5
152,6
152,7
152,8
152,9
152,10
152,11
152,12
152,13
152,14
152,15
152,16
152,17
152,18
152,19
152,20
152,21
152,22
152,23
152,24
152,25
152,26
152,27
152,28
153,0
153,1
153,2
153,3
153,4
153,5
153,6
153,7
153,8
153,9
153,10
153,11
153,12
153,13
153,14
153,15
153,16
153,17
153,18
153,19
153,20
153,21
153,22
153,23
153,24
153,25
153,26
153,27
153,28
154,0
154,1
154,2
154,3
154,4
154,5
154,6
154,7
154,8
154,9
154,10
154,11
154,12
154,13
154,14
154,15
154,16
154,17
154,18
154,19
154,20
154,21
154,22
154,23
154,24
154,25
154,26
154,27
154,28
155,0
155,1
155,2
155,3
155,4
155,5
155,6
155,7
155,8
155,9
155,10
155,11
155,12
155,13
155,14
155,15
155,16
155,17
155,18
155,19
155,20
155,21
155,22
155,23
155,24
155,25
155,26
155,27
155,28
156,0
156,1
156,2
156,3
156,4
156,5
156,6
156,7
156,8
156,9
156,10
156,11
156,12
156,13
156,14
156,15
156,16
156,17
156,18
156,19
156,20
156,21
156,22
156,23
156,24
156,25
156,26
156,27
156,28
157,0
157,1
157,2
157,3
157,4
157,5
157,6
157,7
157,8
157,9
157,10
157,11
157,12
157,13
157,14
157,15
157,16
157,17
157,18
157,19
157,20
157,21
157,22
157,23
157,24
157,25
157,26
157,27
157,28
158,0
158,1
158,2
158,3
158,4
158,5
158,6
158,7
158,8
158,9
158,10
158,11
158,12
158,13
158,14
158,15
158,16
158,17
158,18
158,19
158,20
158,21
158,22
158,23
158,24
158,25
158,26
158,27
158,28
159,0
159,1
159,2
159,3
159,4
159,5
159,6
159,7
159,8
159,9
159,10
159,11
159,12
159,13
159,14
159,15
159,16
159,17
159,18
159,19
159,20
159,21
159,22
159,23
159,24
159,25
159,26
159,27
159,28
160,0
160,1
160,2
160,3
160,4
160,5
160,6
160,7
160,8
160,9
160,10
160,11
160,12
160,13
160,14
160,15
160,16
160,17
160,18
160,19
160,20
160,21
160,22
160,23
160,24
160,25
160,26
160,27
160,28
161,0
161,1
161,2
161,3
161,4
161,5
161,6
161,7
161,8
161,9
161,10
161,11
161,12
161,13
161,14
161,15
161,16
161,17
161,18
161,19
161,20
161,21
161,22
161,23
161,24
161,25
161,26
161,27
161,28
162,0
162,1
162,2
162,3
162,4
162,5
162,6
162,7
162,8
162,9
162,10
162,11
162,12
162,13
162,14
162,15
162,16
162,17
162,18
162,19
162,20
162,21
162,22
162,23
162,24
162,25
162,26
162,27
162,28
163,0
163,1
163,2
163,3
163,4
163,5
163,6
163,7
163,8
163,9
163,10
163,11
163,12
163,13
163,14
163,15
163,16
163,17
163,18
163,19
163,20
163,21
163,22
163,23
163,24
163,25
163,26
163,27
163,28
164,0
164,1
164,2
164,3
164,4
164,5
164,6
164,7
164,8
164,9
164,10
164,11
164,12
164,13
164,14
164,15
164,16
164,17
164,18
164,19
164,20
164,21
164,22
164,23
164,24
164,25
164,26
164,27
164,28
165,0
165,1
165,2
165,3
165,4
165,5
165,6
165,7
165,8
165,9
165,10
165,11
165,12
165,13
165,14
165,15
165,16
165,17
165,18
165,19
165,20
165,21
165,22
165,23
165,24
165,25
165,26
165,27
165,28
166,0
166,1
166,2
166,3
166,4
166,5
166,6
166,7
166,8
166,9
166,10
166,11
166,12
166,13
166,14
166,15
166,16
166,17
166,18
166,19
166,20
166,21
166,22
166,23
166,24
166,25
166,26
166,27
166,28
167,0
167,1
167,2
167,3
167,4
167,5
167,6
167,7
167,8
167,9
167,10
167,11
167,12
167,13
167,14
167,15
167,16
167,17
167,18
167,19
167,20
167,21
167,22
167,23
167,24
167,25
167,26
167,27
167,28
168,0
168,1
168,2
168,3
168,4
168,5
168,6
168,7
168,8
168,9
168,10
168,11
168,12
168,13
168,14
168,15
168,16
168,17
168,18
168,19
168,20
168,21
168,22
168,23
168,24
168,25
168,26
168,27
168,28
169,0
169,1
169,2
169,3
169,4
169,5
169,6
169,7
169,8
169,9
169,10
169,11
169,12
169,13
169,14
169,15
169,16
169,17
169,18
169,19
169,20
169,21
169,22
169,23
169,24
169,25
169,26
169,27
169,28
170,0
170,1
170,2
170,3
170,4
170,5
170,6
170,7
170,8
170,9
170,10
170,11
170,12
170,13
170,14
170,15
170,16
170,17
170,18
170,19
170,20
170,21
170,22
170,23
170,24
170,25
170,26
170,27
170,28
171,0
171,1
171,2
171,3
171,4
171,5
171,6
171,7
171,8
171,9
171,10
171,11
171,12
171,13
171,14
171,15
171,16
171,17
171,18
171,19
171,20
171,21
171,22
171,23
171,24
171,25
171,26
171,27
171,28
172,0
172,1
172,2
172,3
172,4
172,5
172,6
172,7
172,8
172,9
172,10
172,11
172,12
172,13
172,14
172,15
172,16
172,17
172,18
172,19
172,20
172,21
172,22
172,23
172,24
172,25
172,26
172,27
172,28
173,0
173,1
173,2
173,3
173,4
173,5
173,6
173,7
173,8
173,9
173,10
173,11
173,12
173,13
173,14
173,15
173,16
173,17
173,18
173,19
173,20
173,21
173,22
173,23
173,24
173,25
173,26
173,27
173,28
174,0
174,1
174,2
174,3
174,4
174,5
174,6
174,7
174,8
174,9
174,10
174,11
174,12
174,13
174,14
174,15
174,16
174,17
174,18
174,19
174,20
174,21
174,22
174,23
174,24
174,25
174,26
174,27
174,28
175,0
175,1
175,2
175,3
175,4
175,5
175,6
175,7
175,8
175,9
175,10
175,11
175,12
175,13
175,14
175,15
175,16
175,17
175,18
175,19
175,20
175,21
175,22
175,23
175,24
175,25
175,26
175,27
175,28
176,0
176,1
176,2
176,3
176,4
176,5
176,6
176,7
176,8
176,9
176,10
176,11
176,12
176,13
176,14
176,15
176,16
176,17
176,18
176,19
176,20
176,21
176,22
176,23
176,24
176,25
176,26
176,27
176,28
177,0
177,1
177,2
177,3
177,4
177,5
177,6
177,7
177,8
177,9
177,10
177,11
177,12
177,13
177,14
177,15
177,16
177,17
177,18
177,19
177,20
177,21
177,22
177,23
177,24
177,25
177,26
177,27
177,28
178,0
178,1
178,2
178,3
178,4
178,5
178,6
178,7
178,8
178,9
178,10
178,11
178,12
178,13
178,14
178,15
178,16
178,17
178,18
178,19
178,20
178,21
178,22
178,23
178,24
178,25
178,26
178,27
178,28
179,0
179,1
179,2
179,3
179,4
179,5
179,6
179,7
179,8
179,9
179,10
179,11
179,12
179,13
179,14
179,15
179,16
179,17
179,18
179,19
179,20
179,21
179,22
179,23
179,24
179,25
179,26
179,27
179,28
180,0
180,1
180,2
180,3
180,4
180,5
180,6
180,7
180,8
180,9
180,10
180,11
180,12
180,13
180,14
180,15
180,16
180,17
180,18
180,19
180,20
180,21
180,22
180,23
180,24
180,25
180,26
180,27
180,28
181,0
181,1
181,2
181,3
181,4
181,5
181,6
181,7
181,8
181,9
181,10
181,11
181,12
181,13
181,14
181,15
181,16
181,17
181,18
181,19
181,20
181,21
181,22
181,23
181,24
181,25
181,26
181,27
181,28
182,0
182,1
182,2
182,3
182,4
182,5
182,6
182,7
182,8
182,9
182,10
182,11
182,12
182,13
182,14
182,15
182,16
182,17
182,18
182,19
182,20
182,21
182,22
182,23
182,24
182,25
182,26
182,27
182,28
183,0
183,1
183,2
183,3
183,4
183,5
183,6
183,7
183,8
183,9
183,10
183,11
183,12
183,13
183,14
183,15
183,16
183,17
183,18
183,19
183,20
183,21
183,22
183,23
183,24
183,25
183,26
183,27
183,28
184,0
184,1
184,2
184,3
184,4
184,5
184,6
184,7
184,8
184,9
184,10
184,11
184,12
184,13
184,14
184,15
184,16
184,17
184,18
184,19
184,20
184,21
184,22
184,23
184,24
184,25
184,26
184,27
184,28
185,0
185,1
185,2
185,3
185,4
185,5
185,6
185,7
185,8
185,9
185,10
185,11
185,12
185,13
185,14
185,15
185,16
185,17
185,18
185,19
185,20
185,21
185,22
185,23
185,24
185,25
185,26
185,27
185,28
186,0
186,1
186,2
186,3
186,4
186,5
186,6
186,7
186,8
186,9
186,10
186,11
186,12
186,13
186,14
186,15
186,16
186,17
186,18
186,19
186,20
186,21
186,22
186,23
186,24
186,25
186,26
186,27
186,28
187,0
187,1
187,2
187,3
187,4
187,5
187,6
187,7
187,8
187,9
187,10
187,11
187,12
187,13
187,14
187,15
187,16
187,17
187,18
187,19
187,20
187,21
187,22
187,23
187,24
187,25
187,26
187,27
187,28
188,0
188,1
188,2
188,3
188,4
188,5
188,6
188,7
188,8
188,9
188,10
188,11
188,12
188,13
188,14
188,15
188,16
188,17
188,18
188,19
188,20
188,21
188,22
188,23
188,24
188,25
188,26
188,27
188,28
189,0
189,1
189,2
189,3
189,4
189,5
189,6
189,7
189,8
189,9
189,10
189,11
189,12
189,13
189,14
189,15
189,16
189,17
189,18
189,19
189,20
189,21
189,22
189,23
189,24
189,25
189,26
189,27
189,28
190,0
190,1
190,2
190,3
190,4
190,5
190,6
190,7
190,8
190,9
190,10
190,11
190,12
190,13
190,14
190,15
190,16
190,17
190,18
190,19
190,20
190,21
190,22
190,23
190,24
190,25
190,26
190,27
190,28
191,0
191,1
191,2
191,3
191,4
191,5
191,6
191,7
191,8
191,9
191,10
191,11
191,12
191,13
191,14
191,15
191,16
191,17
191,18
191,19
191,20
191,21
191,22
191,23
191,24
191,25
191,26
191,27
191,28
192,0
192,1
192,2
192,3
192,4
192,5
192,6
192,7
192,8
192,9
192,10
192,11
192,12
192,13
192,14
192,15
192,16
192,17
192,18
192,19
192,20
192,21
192,22
192,23
192,24
192,25
192,26
192,27
192,28
193,0
193,1
193,2
193,3
193,4
193,5
193,6
193,7
193,8
193,9
193,10
193,11
193,12
193,13
193,14
193,15
193,16
193,17
193,18
193,19
193,20
193,21
193,22
193,23
193,24
193,25
193,26
193,27
193,28
194,0
194,1
194,2
194,3
194,4
194,5
194,6
194,7
194,8
194,9
194,10
194,11
194,12
194,13
194,14
194,15
194,16
194,17
194,18
194,19
194,20
194,21
194,22
194,23
194,24
194,25
194,26
194,27
194,28
195,0
195,1
195,2
195,3
195,4
195,5
195,6
195,7
195,8
195,9
195,10
195,11
195,12
195,13
195,14
195,15
195,16
195,17
195,18
195,19
195,20
195,21
195,22
195,23
195,24
195,25
195,26
195,27
195,28
196,0
196,1
196,2
196,3
196,4
196,5
196,6
196,7
196,8
196,9
196,10
196,11
196,12
196,13
196,14
196,15
196,16
196,17
196,18
196,19
196,20
196,21
196,22
196,23
196,24
196,25
196,26
196,27
196,28
197,0
197,1
197,2
197,3
197,4
197,5
197,6
197,7
197,8
197,9
197,10
197,11
197,12
197,13
197,14
197,15
197,16
197,17
197,18
197,19
197,20
197,21
197,22
197,23
197,24
197,25
197,26
197,27
197,28
198,0
198,1
198,2
198,3
198,4
198,5
198,6
198,7
198,8
198,9
198,10
198,11
198,12
198,13
198,14
198,15
198,16
198,17
198,18
198,19
198,20
198,21
198,22
198,23
198,24
198,25
198,26
198,27
198,28
199,0
199,1
199,2
199,3
199,4
199,5
199,6
199,7
199,8
199,9
199,10
199,11
199,12
199,13
199,14
199,15
199,16
199,17
199,18
199,19
199,20
199,21
199,22
199,23
199,24
199,25
199,26
199,27
199,28
200,0
200,1
200,2
200,3
200,4
200,5
200,6
200,7
200,8
200,9
200,10
200,11
200,12
200,13
200,14
200,15
200,16
200,17
200,18
200,19
200,20
200,21
200,22
200,23
200,24
200,25
200,26
200,27
200,28
201,0
201,1
201,2
201,3
201,4
201,5
201,6
201,7
201,8
201,9
201,10
201,11
201,12
201,13
201,14
201,15
201,16
201,17
201,18
201,19
201,20
201,21
201,22
201,23
201,24
201,25
201,26
201,27
201,28
202,0
202,1
202,2
202,3
202,4
202,5
202,6
202,7
202,8
202,9
202,10
202,11
202,12
202,13
202,14
202,15
202,16
202,17
202,18
202,19
202,20
202,21
202,22
202,23
202,24
202,25
202,26
202,27
202,28
203,0
203,1
203,2
203,3
203,4
203,5
203,6
203,7
203,8
203,9
203,10
203,11
203,12
203,13
203,14
203,15
203,16
203,17
203,18
203,19
203,20
203,21
203,22
203,23
203,24
203,25
203,26
203,27
203,28
204,0
204,1
204,2
204,3
204,4
204,5
204,6
204,7
204,8
204,9
204,10
204,11
204,12
204,13
204,14
204,15
204,16
204,17
204,18
204,19
204,20
204,21
204,22
204,23
204,24
204,25
204,26
204,27
204,28
205,0
205,1
205,2
205,3
205,4
205,5
205,6
205,7
205,8
205,9
205,10
205,11
205,12
205,13
205,14
205,15
205,16
205,17
205,18
205,19
205,20
205,21
205,22
205,23
205,24
205,25
205,26
205,27
205,28
206,0
206,1
206,2
206,3
206,4
206,5
206,6
206,7
206,8
206,9
206,10
206,11
206,12
206,13
206,14
206,15
206,16
206,17
206,18
206,19
206,20
206,21
206,22
206,23
206,24
206,25
206,26
206,27
206,28
207,0
207,1
207,2
207,3
207,4
207,5
207,6
207,7
207,8
207,9
207,10
207,11
207,12
207,13
207,14
207,15
207,16
207,17
207,18
207,19
207,20
207,21
207,22
207,23
207,24
207,25
207,26
207,27
207,28
208,0
208,1
208,2
208,3
208,4
208,5
208,6
208,7
208,8
208,9
208,10
208,11
208,12
208,13
208,14
208,15
208,16
208,17
208,18
208,19
208,20
208,21
208,22
208,23
208,24
208,25
208,26
208,27
208,28
209,0
209,1
209,2
209,3
209,4
209,5
209,6
209,7
209,8
209,9
209,10
209,11
209,12
209,13
209,14
209,15
209,16
209,17
209,18
209,19
209,20
209,21
209,22
209,23
209,24
209,25
209,26
209,27
209,28
210,0
210,1
210,2
210,3
210,4
210,5
210,6
210,7
210,8
210,9
210,10
210,11
210,12
210,13
210,14
210,15
210,16
210,17
210,18
210,19
210,20
210,21
210,22
210,23
210,24
210,25
210,26
210,27
210,28
211,0
211,1
211,2
211,3
211,4
211,5
211,6
211,7
211,8
211,9
211,10
211,11
211,12
211,13
211,14
211,15
211,16
211,17
211,18
211,19
211,20
211,21
211,22
211,23
211,24
211,25
211,26
211,27
211,28
212,0
212,1
212,2
212,3
212,4
212,5
212,6
212,7
212,8
212,9
212,10
212,11
212,12
212,13
212,14
212,15
212,16
212,17
212,18
212,19
212,20
212,21
212,22
212,23
212,24
212,25
212,26
212,27
212,28
213,0
213,1
213,2
213,3
213,4
213,5
213,6
213,7
213,8
213,9
213,10
213,11
213,12
213,13
213,14
213,15
213,16
213,17
213,18
213,19
213,20
213,21
213,22
213,23
213,24
213,25
213,26
213,27
213,28
214,0
214,1
214,2
214,3
214,4
214,5
214,6
214,7
214,8
214,9
214,10
214,11
214,12
214,13
214,14
214,15
214,16
214,17
214,18
214,19
214,20
214,21
214,22
214,23
214,24
214,25
214,26
214,27
214,28
215,0
215,1
215,2
215,3
215,4
215,5
215,6
215,7
215,8
215,9
215,10
215,11
215,12
215,13
215,14
215,15
215,16
215,17
215,18
215,19
215,20
215,21
215,22
215,23
215,24
215,25
215,26
215,27
215,28
216,0
216,1
216,2
216,3
216,4
216,5
216,6
216,7
216,8
216,9
216,10
216,11
216,12
216,13
216,14
216,15
216,16
216,17
216,18
216,19
216,20
216,21
216,22
216,23
216,24
216,25
216,26
216,27
216,28
217,0
217,1
217,2
217,3
217,4
217,5
217,6
217,7
217,8
217,9
217,10
217,11
217,12
217,13
217,14
217,15
217,16
217,17
217,18
217,19
217,20
217,21
217,22
217,23
217,24
217,25
217,26
217,27
217,28
218,0
218,1
218,2
218,3
218,4
218,5
218,6
218,7
218,8
218,9
218,10
218,11
218,12
218,13
218,14
218,15
218,16
218,17
218,18
218,19
218,20
218,21
218,22
218,23
218,24
218,25
218,26
218,27
218,28
219,0
219,1
219,2
219,3
219,4
219,5
219,6
219,7
219,8
219,9
219,10
219,11
219,12
219,13
219,14
219,15
219,16
219,17
219,18
219,19
219,20
219,21
219,22
219,23
219,24
219,25
219,26
219,27
219,28
220,0
220,1
220,2
220,3
220,4
220,5
220,6
220,7
220,8
220,9
220,10
220,11
220,12
220,13
220,14
220,15
220,16
220,17
220,18
220,19
220,20
220,21
220,22
220,23
220,24
220,25
220,26
220,27
220,28
221,0
221,1
221,2
221,3
221,4
221,5
221,6
221,7
221,8
221,9
221,10
221,11
221,12
221,13
221,14
221,15
221,16
221,17
221,18
221,19
221,20
221,21
221,22
221,23
221,24
221,25
221,26
221,27
221,28
222,0
222,1
222,2
222,3
222,4
222,5
222,6
222,7
222,8
222,9
222,10
222,11
222,12
222,13
222,14
222,15
222,16
222,17
222,18
222,19
222,20
222,21
222,22
222,23
222,24
222,25
222,26
222,27
222,28
223,0
223,1
223,2
223,3
223,4
223,5
223,6
223,7
223,8
223,9
223,10
223,11
223,12
223,13
223,14
223,15
223,16
223,17
223,18
223,19
223,20
223,21
223,22
223,23
223,24
223,25
223,26
223,27
223,28
224,0
224,1
224,2
224,3
224,4
224,5
224,6
224,7
224,8
224,9
224,10
224,11
224,12
224,13
224,14
224,15
224,16
224,17
224,18
224,19
224,20
224,21
224,22
224,23
224,24
224,25
224,26
224,27
224,28
225,0
225,1
225,2
225,3
225,4
225,5
225,6
225,7
225,8
225,9
225,10
225,11
225,12
225,13
225,14
225,15
225,16
225,17
225,18
225,19
225,20
225,21
225,22
225,23
225,24
225,25
225,26
225,27
225,28
226,0
226,1
226,2
226,3
226,4
226,5
226,6
226,7
226,8
226,9
226,10
226,11
226,12
226,13
226,14
226,15
226,16
226,17
226,18
226,19
226,20
226,21
226,22
226,23
226,24
226,25
226,26
226,27
226,28
227,0
227,1
227,2
227,3
227,4
227,5
227,6
227,7
227,8
227,9
227,10
227,11
227,12
227,13
227,14
227,15
227,16
227,17
227,18
227,19
227,20
227,21
227,22
227,23
227,24
227,25
227,26
227,27
227,28
228,0
228,1
228,2
228,3
228,4
228,5
228,6
228,7
228,8
228,9
228,10
228,11
228,12
228,13
228,14
228,15
228,16
228,17
228,18
228,19
228,20
228,21
228,22
228,23
228,24
228,25
228,26
228,27
228,28
229,0
229,1
229,2
229,3
229,4
229,5
229,6
229,7
229,8
229,9
229,10
229,11
229,12
229,13
229,14
229,15
229,16
229,17
229,18
229,19
229,20
229,21
229,22
229,23
229,24
229,25
229,26
229,27
229,28
230,0
230,1
230,2
230,3
230,4
230,5
230,6
230,7
230,8
230,9
230,10
230,11
230,12
230,13
230,14
230,15
230,16
230,17
230,18
230,19
230,20
230,21
230,22
230,23
230,24
230,25
230,26
230,27
230,28
231,0
231,1
231,2
231,3
231,4
231,5
231,6
231,7
231,8
231,9
231,10
231,11
231,12
231,13
231,14
231,15
231,16
231,17
231,18
231,19
231,20
231,21
231,22
231,23
231,24
231,25
231,26
231,27
231,28
232,0
232,1
232,2
232,3
232,4
232,5
232,6
232,7
232,8
232,9
232,10
232,11
232,12
232,13
232,14
232,15
232,16
232,17
232,18
232,19
232,20
232,21
232,22
232,23
232,24
232,25
232,26
232,27
232,28
233,0
233,1
233,2
233,3
233,4
233,5
233,6
233,7
233,8
233,9
233,10
233,11
233,12
233,13
233,14
233,15
233,16
233,17
233,18
233,19
233,20
233,21
233,22
233,23
233,24
233,25
233,26
233,27
233,28
234,0
234,1
234,2
234,3
234,4
234,5
234,6
234,7
234,8
234,9
234,10
234,11
234,12
234,13
234,14
234,15
234,16
234,17
234,18
234,19
234,20
234,21
234,22
234,23
234,24
234,25
234,26
234,27
234,28
235,0
235,1
235,2
235,3
235,4
235,5
235,6
235,7
235,8
235,9
235,10
235,11
235,12
235,13
235,14
235,15
235,16
235,17
235,18
235,19
235,20
235,21
235,22
235,23
235,24
235,25
235,26
235,27
235,28
236,0
236,1
236,2
236,3
236,4
236,5
236,6
236,7
236,8
236,9
236,10
236,11
236,12
236,13
236,14
236,15
236,16
236,17
236,18
236,19
236,20
236,21
236,22
236,23
236,24
236,25
236,26
236,27
236,28
237,0
237,1
237,2
237,3
237,4
237,5
237,6
237,7
237,8
237,9
237,10
237,11
237,12
237,13
237,14
237,15
237,16
237,17
237,18
237,19
237,20
237,21
237,22
237,23
237,24
237,25
237,26
237,27
237,28
238,0
238,1
238,2
238,3
238,4
238,5
238,6
238,7
238,8
238,9
238,10
238,11
238,12
238,13
238,14
238,15
238,16
238,17
238,18
238,19
238,20
238,21
238,22
238,23
238,24
238,25
238,26
238,27
238,28
239,0
239,1
239,2
239,3
239,4
239,5
239,6
239,7
239,8
239,9
239,10
239,11
239,12
239,13
239,14
239,15
239,16
239,17
239,18
239,19
239,20
239,21
239,22
239,23
239,24
239,25
239,26
239,27
239,28
240,0
240,1
240,2
240,3
240,4
240,5
240,6
240,7
240,8
240,9
240,10
240,11
240,12
240,13
240,14
240,15
240,16
240,17
240,18
240,19
240,20
240,21
240,22
240,23
240,24
240,25
240,26
240,27
240,28
241,0
241,1
241,2
241,3
241,4
241,5
241,6
241,7
241,8
241,9
241,10
241,11
241,12
241,13
241,14
241,15
241,16
241,17
241,18
241,19
241,20
241,21
241,22
241,23
241,24
241,25
241,26
241,27
241,28
242,0
242,1
242,2
242,3
242,4
242,5
242,6
242,7
242,8
242,9
242,10
242,11
242,12
242,13
242,14
242,15
242,16
242,17
242,18
242,19
242,20
242,21
242,22
242,23
242,24
242,25
242,26
242,27
242,28
243,0
243,1
243,2
243,3
243,4
243,5
243,6
243,7
243,8
243,9
243,10
243,11
243,12
243,13
243,14
243,15
243,16
243,17
243,18
243,19
243,20
243,21
243,22
243,23
243,24
243,25
243,26
243,27
243,28
244,0
244,1
244,2
244,3
244,4
244,5
244,6
244,7
244,8
244,9
244,10
244,11
244,12
244,13
244,14
244,15
244,16
244,17
244,18
244,19
244,20
244,21
244,22
244,23
244,24
244,25
244,26
244,27
244,28
245,0
245,1
245,2
245,3
245,4
245,5
245,6
245,7
245,8
245,9
245,10
245,11
245,12
245,13
245,14
245,15
245,16
245,17
245,18
245,19
245,20
245,21
245,22
245,23
245,24
245,25
245,26
245,27
245,28
246,0
246,1
246,2
246,3
246,4
246,5
246,6
246,7
246,8
246,9
246,10
246,11
246,12
246,13
246,14
246,15
246,16
246,17
246,18
246,19
246,20
246,21
246,22
246,23
246,24
246,25
246,26
246,27
246,28
247,0
247,1
247,2
247,3
247,4
247,5
247,6
247,7
247,8
247,9
247,10
247,11
247,12
247,13
247,14
247,15
247,16
247,17
247,18
247,19
247,20
247,21
247,22
247,23
247,24
247,25
247,26
247,27
247,28
248,0
248,1
248,2
248,3
248,4
248,5
248,6
248,7
248,8
248,9
248,10
248,11
248,12
248,13
248,14
248,15
248,16
248,17
248,18
248,19
248,20
248,21
248,22
248,23
248,24
248,25
248,26
248,27
248,28
249,0
249,1
249,2
249,3
249,4
249,5
249,6
249,7
249,8
249,9
249,10
249,11
249,12
249,13
249,14
249,15
249,16
249,17
249,18
249,19
249,20
249,21
249,22
249,23
249,24
249,25
249,26
249,27
249,28
250,0
250,1
250,2
250,3
250,4
250,5
250,6
250,7
250,8
250,9
250,10
250,11
250,12
250,13
250,14
250,15
250,16
250,17
250,18
250,19
250,20
250,21
250,22
250,23
250,24
250,25
250,26
250,27
250,28
251,0
251,1
251,2
251,3
251,4
251,5
251,6
251,7
251,8
251,9
251,10
251,11
251,12
251,13
251,14
251,15
251,16
251,17
251,18
251,19
251,20
251,21
251,22
251,23
251,24
251,25
251,26
251,27
251,28
252,0
252,1
252,2
252,3
252,4
252,5
252,6
252,7
252,8
252,9
252,10
252,11
252,12
252,13
252,14
252,15
252,16
252,17
252,18
252,19
252,20
252,21
252,22
252,23
252,24
252,25
252,26
252,27
252,28
253,0
253,1
253,2
253,3
253,4
253,5
253,6
253,7
253,8
253,9
253,10
253,11
253,12
253,13
253,14
253,15
253,16
253,17
253,18
253,19
253,20
253,21
253,22
253,23
253,24
253,25
253,26
253,27
253,28
254,0
254,1
254,2
254,3
254,4
254,5
254,6
254,7
254,8
254,9
254,10
254,11
254,12
254,13
254,14
254,15
254,16
254,17
254,18
254,19
254,20
254,21
254,22
254,23
254,24
254,25
254,26
254,27
254,28
255,0
255,1
255,2
255,3
255,4
255,5
255,6
255,7
255,8
255,9
255,10
255,11
255,12
255,13
255,14
255,15
255,16
255,17
255,18
255,19
255,20
255,21
255,22
255,23
255,24
255,25
255,26
255,27
255,28
256,0
256,1
256,2
256,3
256,4
256,5
256,6
256,7
256,8
256,9
256,10
256,11
256,12
256,13
256,14
256,15
256,16
256,17
256,18
256,19
256,20
256,21
256,22
256,23
256,24
256,25
256,26
256,27
256,28
257,0
257,1
257,2
257,3
257,4
257,5
257,6
257,7
257,8
257,9
257,10
257,11
257,12
257,13
257,14
257,15
257,16
257,17
257,18
257,19
257,20
257,21
257,22
257,23
257,24
257,25
257,26
257,27
257,28
258,0
258,1
258,2
258,3
258,4
258,5
258,6
258,7
258,8
258,9
258,10
258,11
258,12
258,13
258,14
258,15
258,16
258,17
258,18
258,19
258,20
258,21
258,22
258,23
258,24
258,25
258,26
258,27
258,28
259,0
259,1
259,2
259,3
259,4
259,5
259,6
259,7
259,8
259,9
259,10
259,11
259,12
259,13
259,14
259,15
259,16
259,17
259,18
259,19
259,20
259,21
259,22
259,23
259,24
259,25
259,26
259,27
259,28
260,0
260,1
260,2
260,3
260,4
260,5
260,6
260,7
260,8
260,9
260,10
260,11
260,12
260,13
260,14
260,15
260,16
260,17
260,18
260,19
260,20
260,21
260,22
260,23
260,24
260,25
260,26
260,27
260,28
261,0
261,1
261,2
261,3
261,4
261,5
261,6
261,7
261,8
261,9
261,10
261,11
261,12
261,13
261,14
261,15
261,16
261,17
261,18
261,19
261,20
261,21
261,22
261,23
261,24
261,25
261,26
261,27
261,28
262,0
262,1
262,2
262,3
262,4
262,5
262,6
262,7
262,8
262,9
262,10
262,11
262,12
262,13
262,14
262,15
262,16
262,17
262,18
262,19
262,20
262,21
262,22
262,23
262,24
262,25
262,26
262,27
262,28
263,0
263,1
263,2
263,3
263,4
263,5
263,6
263,7
263,8
263,9
263,10
263,11
263,12
263,13
263,14
263,15
263,16
263,17
263,18
263,19
263,20
263,21
263,22
263,23
263,24
263,25
263,26
263,27
263,28
264,0
264,1
264,2
264,3
264,4
264,5
264,6
264,7
264,8
264,9
264,10
264,11
264,12
264,13
264,14
264,15
264,16
264,17
264,18
264,19
264,20
264,21
264,22
264,23
264,24
264,25
264,26
264,27
264,28
265,0
265,1
265,2
265,3
265,4
265,5
265,6
265,7
265,8
265,9
265,10
265,11
265,12
265,13
265,14
265,15
265,16
265,17
265,18
265,19
265,20
265,21
265,22
265,23
265,24
265,25
265,26
265,27
265,28
266,0
266,1
266,2
266,3
266,4
266,5
266,6
266,7
266,8
266,9
266,10
266,11
266,12
266,13
266,14
266,15
266,16
266,17
266,18
266,19
266,20
266,21
266,22
266,23
266,24
266,25
266,26
266,27
266,28
267,0
267,1
267,2
267,3
267,4
267,5
267,6
267,7
267,8
267,9
267,10
267,11
267,12
267,13
267,14
267,15
267,16
267,17
267,18
267,19
267,20
267,21
267,22
267,23
267,24
267,25
267,26
267,27
267,28
268,0
268,1
268,2
268,3
268,4
268,5
268,6
268,7
268,8
268,9
268,10
268,11
268,12
268,13
268,14
268,15
268,16
268,17
268,18
268,19
268,20
268,21
268,22
268,23
268,24
268,25
268,26
268,27
268,28
269,0
269,1
269,2
269,3
269,4
269,5
269,6
269,7
269,8
269,9
269,10
269,11
269,12
269,13
269,14
269,15
269,16
269,17
269,18
269,19
269,20
269,21
269,22
269,23
269,24
269,25
269,26
269,27
269,28
270,0
270,1
270,2
270,3
270,4
270,5
270,6
270,7
270,8
270,9
270,10
270,11
270,12
270,13
270,14
270,15
270,16
270,17
270,18
270,19
270,20
270,21
270,22
270,23
270,24
270,25
270,26
270,27
270,28
271,0
271,1
271,2
271,3
271,4
271,5
271,6
271,7
271,8
271,9
271,10
271,11
271,12
271,13
271,14
271,15
271,16
271,17
271,18
271,19
271,20
271,21
271,22
271,23
271,24
271,25
271,26
271,27
271,28
272,0
272,1
272,2
272,3
272,4
272,5
272,6
272,7
272,8
272,9
272,10
272,11
272,12
272,13
272,14
272,15
272,16
272,17
272,18
272,19
272,20
272,21
272,22
272,23
272,24
272,25
272,26
272,27
272,28
273,0
273,1
273,2
273,3
273,4
273,5
273,6
273,7
273,8
273,9
273,10
273,11
273,12
273,13
273,14
273,15
273,16
273,17
273,18
273,19
273,20
273,21
273,22
273,23
273,24
273,25
273,26
273,27
273,28
274,0
274,1
274,2
274,3
274,4
274,5
274,6
274,7
274,8
274,9
274,10
274,11
274,12
274,13
274,14
274,15
274,16
274,17
274,18
274,19
274,20
274,21
274,22
274,23
274,24
274,25
274,26
274,27
274,28
275,0
275,1
275,2
275,3
275,4
275,5
275,6
275,7
275,8
275,9
275,10
275,11
275,12
275,13
275,14
275,15
275,16
275,17
275,18
275,19
275,20
275,21
275,22
275,23
275,24
275,25
275,26
275,27
275,28
276,0
276,1
276,2
276,3
276,4
276,5
276,6
276,7
276,8
276,9
276,10
276,11
276,12
276,13
276,14
276,15
276,16
276,17
276,18
276,19
276,20
276,21
276,22
276,23
276,24
276,25
276,26
276,27
276,28
277,0
277,1
277,2
277,3
277,4
277,5
277,6
277,7
277,8
277,9
277,10
277,11
277,12
277,13
277,14
277,15
277,16
277,17
277,18
277,19
277,20
277,21
277,22
277,23
277,24
277,25
277,26
277,27
277,28
278,0
278,1
278,2
278,3
278,4
278,5
278,6
278,7
278,8
278,9
278,10
278,11
278,12
278,13
278,14
278,15
278,16
278,17
278,18
278,19
278,20
278,21
278,22
278,23
278,24
278,25
278,26
278,27
278,28
279,0
279,1
279,2
279,3
279,4
279,5
279,6
279,7
279,8
279,9
279,10
279,11
279,12
279,13
279,14
279,15
279,16
279,17
279,18
279,19
279,20
279,21
279,22
279,23
279,24
279,25
279,26
279,27
279,28
280,0
280,1
280,2
280,3
280,4
280,5
280,6
280,7
280,8
280,9
280,10
280,11
280,12
280,13
280,14
280,15
280,16
280,17
280,18
280,19
280,20
280,21
280,22
280,23
280,24
280,25
280,26
280,27
280,28
281,0
281,1
281,2
281,3
281,4
281,5
281,6
281,7
281,8
281,9
281,10
281,11
281,12
281,13
281,14
281,15
281,16
281,17
281,18
281,19
281,20
281,21
281,22
281,23
281,24
281,25
281,26
281,27
281,28
282,0
282,1
282,2
282,3
282,4
282,5
282,6
282,7
282,8
282,9
282,10
282,11
282,12
282,13
282,14
282,15
282,16
282,17
282,18
282,19
282,20
282,21
282,22
282,23
282,24
282,25
282,26
282,27
282,28
283,0
283,1
283,2
283,3
283,4
283,5
283,6
283,7
283,8
283,9
283,10
283,11
283,12
283,13
283,14
283,15
283,16
283,17
283,18
283,19
283,20
283,21
283,22
283,23
283,24
283,25
283,26
283,27
283,28
284,0
284,1
284,2
284,3
284,4
284,5
284,6
284,7
284,8
284,9
284,10
284,11
284,12
284,13
284,14
284,15
284,16
284,17
284,18
284,19
284,20
284,21
284,22
284,23
284,24
284,25
284,26
284,27
284,28
285,0
285,1
285,2
285,3
285,4
285,5
285,6
285,7
285,8
285,9
285,10
285,11
285,12
285,13
285,14
285,15
285,16
285,17
285,18
285,19
285,20
285,21
285,22
285,23
285,24
285,25
285,26
285,27
285,28
286,0
286,1
286,2
286,3
286,4
286,5
286,6
286,7
286,8
286,9
286,10
286,11
286,12
286,13
286,14
286,15
286,16
286,17
286,18
286,19
286,20
286,21
286,22
286,23
286,24
286,25
286,26
286,27
286,28
287,0
287,1
287,2
287,3
287,4
287,5
287,6
287,7
287,8
287,9
287,10
287,11
287,12
287,13
287,14
287,15
287,16
287,17
287,18
287,19
287,20
287,21
287,22
287,23
287,24
287,25
287,26
287,27
287,28
288,0
288,1
288,2
288,3
288,4
288,5
288,6
288,7
288,8
288,9
288,10
288,11
288,12
288,13
288,14
288,15
288,16
288,17
288,18
288,19
288,20
288,21
288,22
288,23
288,24
288,25
288,26
288,27
288,28
289,0
289,1
289,2
289,3
289,4
289,5
289,6
289,7
289,8
289,9
289,10
289,11
289,12
289,13
289,14
289,15
289,16
289,17
289,18
289,19
289,20
289,21
289,22
289,23
289,24
289,25
289,26
289,27
289,28
290,0
290,1
290,2
290,3
290,4
290,5
290,6
290,7
290,8
290,9
290,10
290,11
290,12
290,13
290,14
290,15
290,16
290,17
290,18
290,19
290,20
290,21
290,22
290,23
290,24
290,25
290,26
290,27
290,28
291,0
291,1
291,2
291,3
291,4
291,5
291,6
291,7
291,8
291,9
291,10
291,11
291,12
291,13
291,14
291,15
291,16
291,17
291,18
291,19
291,20
291,21
291,22
291,23
291,24
291,25
291,26
291,27
291,28
292,0
292,1
292,2
292,3
292,4
292,5
292,6
292,7
292,8
292,9
292,10
292,11
292,12
292,13
292,14
292,15
292,16
292,17
292,18
292,19
292,20
292,21
292,22
292,23
292,24
292,25
292,26
292,27
292,28
293,0
293,1
293,2
293,3
293,4
293,5
293,6
293,7
293,8
293,9
293,10
293,11
293,12
293,13
293,14
293,15
293,16
293,17
293,18
293,19
293,20
293,21
293,22
293,23
293,24
293,25
293,26
293,27
293,28
294,0
294,1
294,2
294,3
294,4
294,5
294,6
294,7
294,8
294,9
294,10
294,11
294,12
294,13
294,14
294,15
294,16
294,17
294,18
294,19
294,20
294,21
294,22
294,23
294,24
294,25
294,26
294,27
294,28
295,0
295,1
295,2
295,3
295,4
295,5
295,6
295,7
295,8
295,9
295,10
295,11
295,12
295,13
295,14
295,15
295,16
295,17
295,18
295,19
295,20
295,21
295,22
295,23
295,24
295,25
295,26
295,27
295,28
296,0
296,1
296,2
296,3
296,4
296,5
296,6
296,7
296,8
296,9
296,10
296,11
296,12
296,13
296,14
296,15
296,16
296,17
296,18
296,19
296,20
296,21
296,22
296,23
296,24
296,25
296,26
296,27
296,28
297,0
297,1
297,2
297,3
297,4
297,5
297,6
297,7
297,8
297,9
297,10
297,11
297,12
297,13
297,14
297,15
297,16
297,17
297,18
297,19
297,20
297,21
297,22
297,23
297,24
297,25
297,26
297,27
297,28
298,0
298,1
298,2
298,3
298,4
298,5
298,6
298,7
298,8
298,9
298,10
298,11
298,12
298,13
298,14
298,15
298,16
298,17
298,18
298,19
298,20
298,21
298,22
298,23
298,24
298,25
298,26
298,27
298,28
299,0
299,1
299,2
299,3
299,4
299,5
299,6
299,7
299,8
299,9
299,10
299,11
299,12
299,13
299,14
299,15
299,16
299,17
299,18
299,19
299,20
299,21
299,22
299,23
299,24
299,25
299,26
299,27
299,28
300,0
300,1
300,2
300,3
300,4
300,5
300,6
300,7
300,8
300,9
300,10
300,11
300,12
300,13
300,14
300,15
300,16
300,17
300,18
300,19
300,20
300,21
300,22
300,23
300,24
300,25
300,26
300,27
300,28
301,0
301,1
301,2
301,3
301,4
301,5
301,6
301,7
301,8
301,9
301,10
301,11
301,12
301,13
301,14
301,15
301,16
301,17
301,18
301,19
301,20
301,21
301,22
301,23
301,24
301,25
301,26
301,27
301,28
302,0
302,1
302,2
302,3
302,4
302,5
302,6
302,7
302,8
302,9
302,10
302,11
302,12
302,13
302,14
302,15
302,16
302,17
302,18
302,19
302,20
302,21
302,22
302,23
302,24
302,25
302,26
302,27
302,28
303,0
303,1
303,2
303,3
303,4
303,5
303,6
303,7
303,8
303,9
303,10
303,11
303,12
303,13
303,14
303,15
303,16
303,17
303,18
303,19
303,20
303,21
303,22
303,23
303,24
303,25
303,26
303,27
303,28
304,0
304,1
304,2
304,3
304,4
304,5
304,6
304,7
304,8
304,9
304,10
304,11
304,12
304,13
304,14
304,15
304,16
304,17
304,18
304,19
304,20
304,21
304,22
304,23
304,24
304,25
304,26
304,27
304,28
305,0
305,1
305,2
305,3
305,4
305,5
305,6
305,7
305,8
305,9
305,10
305,11
305,12
305,13
305,14
305,15
305,16
305,17
305,18
305,19
305,20
305,21
305,22
305,23
305,24
305,25
305,26
305,27
305,28
306,0
306,1
306,2
306,3
306,4
306,5
306,6
306,7
306,8
306,9
306,10
306,11
306,12
306,13
306,14
306,15
306,16
306,17
306,18
306,19
306,20
306,21
306,22
306,23
306,24
306,25
306,26
306,27
306,28
307,0
307,1
307,2
307,3
307,4
307,5
307,6
307,7
307,8
307,9
307,10
307,11
307,12
307,13
307,14
307,15
307,16
307,17
307,18
307,19
307,20
307,21
307,22
307,23
307,24
307,25
307,26
307,27
307,28
308,0
308,1
308,2
308,3
308,4
308,5
308,6
308,7
308,8
308,9
308,10
308,11
308,12
308,13
308,14
308,15
308,16
308,17
308,18
308,19
308,20
308,21
308,22
308,23
308,24
308,25
308,26
308,27
308,28
309,0
309,1
309,2
309,3
309,4
309,5
309,6
309,7
309,8
309,9
309,10
309,11
309,12
309,13
309,14
309,15
309,16
309,17
309,18
309,19
309,20
309,21
309,22
309,23
309,24
309,25
309,26
309,27
309,28
310,0
310,1
310,2
310,3
310,4
310,5
310,6
310,7
310,8
310,9
310,10
310,11
310,12
310,13
310,14
310,15
310,16
310,17
310,18
310,19
310,20
310,21
310,22
310,23
310,24
310,25
310,26
310,27
310,28
311,0
311,1
311,2
311,3
311,4
311,5
311,6
311,7
311,8
311,9
311,10
311,11
311,12
311,13
311,14
311,15
311,16
311,17
311,18
311,19
311,20
311,21
311,22
311,23
311,24
311,25
311,26
311,27
311,28
312,0
312,1
312,2
312,3
312,4
312,5
312,6
312,7
312,8
312,9
312,10
312,11
312,12
312,13
312,14
312,15
312,16
312,17
312,18
312,19
312,20
312,21
312,22
312,23
312,24
312,25
312,26
312,27
312,28
313,0
313,1
313,2
313,3
313,4
313,5
313,6
313,7
313,8
313,9
313,10
313,11
313,12
313,13
313,14
313,15
313,16
313,17
313,18
313,19
313,20
313,21
313,22
313,23
313,24
313,25
313,26
313,27
313,28
314,0
314,1
314,2
314,3
314,4
314,5
314,6
314,7
314,8
314,9
314,10
314,11
314,12
314,13
314,14
314,15
314,16
314,17
314,18
314,19
314,20
314,21
314,22
314,23
314,24
314,25
314,26
314,27
314,28
315,0
315,1
315,2
315,3
315,4
315,5
315,6
315,7
315,8
315,9
315,10
315,11
315,12
315,13
315,14
315,15
315,16
315,17
315,18
315,19
315,20
315,21
315,22
315,23
315,24
315,25
315,26
315,27
315,28
316,0
316,1
316,2
316,3
316,4
316,5
316,6
316,7
316,8
316,9
316,10
316,11
316,12
316,13
316,14
316,15
316,16
316,17
316,18
316,19
316,20
316,21
316,22
316,23
316,24
316,25
316,26
316,27
316,28
317,0
317,1
317,2
317,3
317,4
317,5
317,6
317,7
317,8
317,9
317,10
317,11
317,12
317,13
317,14
317,15
317,16
317,17
317,18
317,19
317,20
317,21
317,22
317,23
317,24
317,25
317,26
317,27
317,28
318,0
318,1
318,2
318,3
318,4
318,5
318,6
318,7
318,8
318,9
318,10
318,11
318,12
318,13
318,14
318,15
318,16
318,17
318,18
318,19
318,20
318,21
318,22
318,23
318,24
318,25
318,26
318,27
318,28
319,0
319,1
319,2
319,3
319,4
319,5
319,6
319,7
319,8
319,9
319,10
319,11
319,12
319,13
319,14
319,15
319,16
319,17
319,18
319,19
319,20
319,21
319,22
319,23
319,24
319,25
319,26
319,27
319,28
320,0
320,1
320,2
320,3
320,4
320,5
320,6
320,7
320,8
320,9
320,10
320,11
320,12
320,13
320,14
320,15
320,16
320,17
320,18
320,19
320,20
320,21
320,22
320,23
320,24
320,25
320,26
320,27
320,28
321,0
321,1
321,2
321,3
321,4
321,5
321,6
321,7
321,8
321,9
321,10
321,11
321,12
321,13
321,14
321,15
321,16
321,17
321,18
321,19
321,20
321,21
321,22
321,23
321,24
321,25
321,26
321,27
321,28
322,0
322,1
322,2
322,3
322,4
322,5
322,6
322,7
322,8
322,9
322,10
322,11
322,12
322,13
322,14
322,15
322,16
322,17
322,18
322,19
322,20
322,21
322,22
322,23
322,24
322,25
322,26
322,27
322,28
323,0
323,1
323,2
323,3
323,4
323,5
323,6
323,7
323,8
323,9
323,10
323,11
323,12
323,13
323,14
323,15
323,16
323,17
323,18
323,19
323,20
323,21
323,22
323,23
323,24
323,25
323,26
323,27
323,28
324,0
324,1
324,2
324,3
324,4
324,5
324,6
324,7
324,8
324,9
324,10
324,11
324,12
324,13
324,14
324,15
324,16
324,17
324,18
324,19
324,20
324,21
324,22
324,23
324,24
324,25
324,26
324,27
324,28
325,0
325,1
325,2
325,3
325,4
325,5
325,6
325,7
325,8
325,9
325,10
325,11
325,12
325,13
325,14
325,15
325,16
325,17
325,18
325,19
325,20
325,21
325,22
325,23
325,24
325,25
325,26
325,27
325,28
326,0
326,1
326,2
326,3
326,4
326,5
326,6
326,7
326,8
326,9
326,10
326,11
326,12
326,13
326,14
326,15
326,16
326,17
326,18
326,19
326,20
326,21
326,22
326,23
326,24
326,25
326,26
326,27
326,28
327,0
327,1
327,2
327,3
327,4
327,5
327,6
327,7
327,8
327,9
327,10
327,11
327,12
327,13
327,14
327,15
327,16
327,17
327,18
327,19
327,20
327,21
327,22
327,23
327,24
327,25
327,26
327,27
327,28
328,0
328,1
328,2
328,3
328,4
328,5
328,6
328,7
328,8
328,9
328,10
328,11
328,12
328,13
328,14
328,15
328,16
328,17
328,18
328,19
328,20
328,21
328,22
328,23
328,24
328,25
328,26
328,27
328,28
329,0
329,1
329,2
329,3
329,4
329,5
329,6
329,7
329,8
329,9
329,10
329,11
329,12
329,13
329,14
329,15
329,16
329,17
329,18
329,19
329,20
329,21
329,22
329,23
329,24
329,25
329,26
329,27
329,28
330,0
330,1
330,2
330,3
330,4
330,5
330,6
330,7
330,8
330,9
330,10
330,11
330,12
330,13
330,14
330,15
330,16
330,17
330,18
330,19
330,20
330,21
330,22
330,23
330,24
330,25
330,26
330,27
330,28
331,0
331,1
331,2
331,3
331,4
331,5
331,6
331,7
331,8
331,9
331,10
331,11
331,12
331,13
331,14
331,15
331,16
331,17
331,18
331,19
331,20
331,21
331,22
331,23
331,24
331,25
331,26
331,27
331,28
332,0
332,1
332,2
332,3
332,4
332,5
332,6
332,7
332,8
332,9
332,10
332,11
332,12
332,13
332,14
332,15
332,16
332,17
332,18
332,19
332,20
332,21
332,22
332,23
332,24
332,25
332,26
332,27
332,28
333,0
333,1
333,2
333,3
333,4
333,5
333,6
333,7
333,8
333,9
333,10
333,11
333,12
333,13
333,14
333,15
333,16
333,17
333,18
333,19
333,20
333,21
333,22
333,23
333,24
333,25
333,26
333,27
333,28
334,0
334,1
334,2
334,3
334,4
334,5
334,6
334,7
334,8
334,9
334,10
334,11
334,12
334,13
334,14
334,15
334,16
334,17
334,18
334,19
334,20
334,21
334,22
334,23
334,24
334,25
334,26
334,27
334,28
335,0
335,1
335,2
335,3
335,4
335,5
335,6
335,7
335,8
335,9
335,10
335,11
335,12
335,13
335,14
335,15
335,16
335,17
335,18
335,19
335,20
335,21
335,22
335,23
335,24
335,25
335,26
335,27
335,28
336,0
336,1
336,2
336,3
336,4
336,5
336,6
336,7
336,8
336,9
336,10
336,11
336,12
336,13
336,14
336,15
336,16
336,17
336,18
336,19
336,20
336,21
336,22
336,23
336,24
336,25
336,26
336,27
336,28
337,0
337,1
337,2
337,3
337,4
337,5
337,6
337,7
337,8
337,9
337,10
337,11
337,12
337,13
337,14
337,15
337,16
337,17
337,18
337,19
337,20
337,21
337,22
337,23
337,24
337,25
337,26
337,27
337,28
338,0
338,1
338,2
338,3
338,4
338,5
338,6
338,7
338,8
338,9
338,10
338,11
338,12
338,13
338,14
338,15
338,16
338,17
338,18
338,19
338,20
338,21
338,22
338,23
338,24
338,25
338,26
338,27
338,28
339,0
339,1
339,2
339,3
339,4
339,5
339,6
339,7
339,8
339,9
339,10
339,11
339,12
339,13
339,14
339,15
339,16
339,17
339,18
339,19
339,20
339,21
339,22
339,23
339,24
339,25
339,26
339,27
339,28
340,0
340,1
340,2
340,3
340,4
340,5
340,6
340,7
340,8
340,9
340,10
340,11
340,12
340,13
340,14
340,15
340,16
340,17
340,18
340,19
340,20
340,21
340,22
340,23
340,24
340,25
340,26
340,27
340,28
341,0
341,1
341,2
341,3
341,4
341,5
341,6
341,7
341,8
341,9
341,10
341,11
341,12
341,13
341,14
341,15
341,16
341,17
341,18
341,19
341,20
341,21
341,22
341,23
341,24
341,25
341,26
341,27
341,28
342,0
342,1
342,2
342,3
342,4
342,5
342,6
342,7
342,8
342,9
342,10
342,11
342,12
342,13
342,14
342,15
342,16
342,17
342,18
342,19
342,20
342,21
342,22
342,23
342,24
342,25
342,26
342,27
342,28
343,0
343,1
343,2
343,3
343,4
343,5
343,6
343,7
343,8
343,9
343,10
343,11
343,12
343,13
343,14
343,15
343,16
343,17
343,18
343,19
343,20
343,21
343,22
343,23
343,24
343,25
343,26
343,27
343,28
344,0
344,1
344,2
344,3
344,4
344,5
344,6
344,7
344,8
344,9
344,10
344,11
344,12
344,13
344,14
344,15
344,16
344,17
344,18
344,19
344,20
344,21
344,22
344,23
344,24
344,25
344,26
344,27
344,28
345,0
345,1
345,2
345,3
345,4
345,5
345,6
345,7
345,8
345,9
345,10
345,11
345,12
345,13
345,14
345,15
345,16
345,17
345,18
345,19
345,20
345,21
345,22
345,23
345,24
345,25
345,26
345,27
345,28
346,0
346,1
346,2
346,3
346,4
346,5
346,6
346,7
346,8
346,9
346,10
346,11
346,12
346,13
346,14
346,15
346,16
346,17
346,18
346,19
346,20
346,21
346,22
346,23
346,24
346,25
346,26
346,27
346,28
347,0
347,1
347,2
347,3
347,4
347,5
347,6
347,7
347,8
347,9
347,10
347,11
347,12
347,13
347,14
347,15
347,16
347,17
347,18
347,19
347,20
347,21
347,22
347,23
347,24
347,25
347,26
347,27
347,28
348,0
348,1
348,2
348,3
348,4
348,5
348,6
348,7
348,8
348,9
348,10
348,11
348,12
348,13
348,14
348,15
348,16
348,17
348,18
348,19
348,20
348,21
348,22
348,23
348,24
348,25
348,26
348,27
348,28
349,0
349,1
349,2
349,3
349,4
349,5
349,6
349,7
349,8
349,9
349,10
349,11
349,12
349,13
349,14
349,15
349,16
349,17
349,18
349,19
349,20
349,21
349,22
349,23
349,24
349,25
349,26
349,27
349,28
350,0
350,1
350,2
350,3
350,4
350,5
350,6
350,7
350,8
350,9
350,10
350,11
350,12
350,13
350,14
350,15
350,16
350,17
350,18
350,19
350,20
350,21
350,22
350,23
350,24
350,25
350,26
350,27
350,28
351,0
351,1
351,2
351,3
351,4
351,5
351,6
351,7
351,8
351,9
351,10
351,11
351,12
351,13
351,14
351,15
351,16
351,17
351,18
351,19
351,20
351,21
351,22
351,23
351,24
351,25
351,26
351,27
351,28
352,0
352,1
352,2
352,3
352,4
352,5
352,6
352,7
352,8
352,9
352,10
352,11
352,12
352,13
352,14
352,15
352,16
352,17
352,18
352,19
352,20
352,21
352,22
352,23
352,24
352,25
352,26
352,27
352,28
353,0
353,1
353,2
353,3
353,4
353,5
353,6
353,7
353,8
353,9
353,10
353,11
353,12
353,13
353,14
353,15
353,16
353,17
353,18
353,19
353,20
353,21
353,22
353,23
353,24
353,25
353,26
353,27
353,28
354,0
354,1
354,2
354,3
354,4
354,5
354,6
354,7
354,8
354,9
354,10
354,11
354,12
354,13
354,14
354,15
354,16
354,17
354,18
354,19
354,20
354,21
354,22
354,23
354,24
354,25
354,26
354,27
354,28
355,0
355,1
355,2
355,3
355,4
355,5
355,6
355,7
355,8
355,9
355,10
355,11
355,12
355,13
355,14
355,15
355,16
355,17
355,18
355,19
355,20
355,21
355,22
355,23
355,24
355,25
355,26
355,27
355,28
356,0
356,1
356,2
356,3
356,4
356,5
356,6
356,7
356,8
356,9
356,10
356,11
356,12
356,13
356,14
356,15
356,16
356,17
356,18
356,19
356,20
356,21
356,22
356,23
356,24
356,25
356,26
356,27
356,28
357,0
357,1
357,2
357,3
357,4
357,5
357,6
357,7
357,8
357,9
357,10
357,11
357,12
357,13
357,14
357,15
357,16
357,17
357,18
357,19
357,20
357,21
357,22
357,23
357,24
357,25
357,26
357,27
357,28
358,0
358,1
358,2
358,3
358,4
358,5
358,6
358,7
358,8
358,9
358,10
358,11
358,12
358,13
358,14
358,15
358,16
358,17
358,18
358,19
358,20
358,21
358,22
358,23
358,24
358,25
358,26
358,27
358,28
359,0
359,1
359,2
359,3
359,4
359,5
359,6
359,7
359,8
359,9
359,10
359,11
359,12
359,13
359,14
359,15
359,16
359,17
359,18
359,19
359,20
359,21
359,22
359,23
359,24
359,25
359,26
359,27
359,28
360,0
360,1
360,2
360,3
360,4
360,5
360,6
360,7
360,8
360,9
360,10
360,11
360,12
360,13
360,14
360,15
360,16
360,17
360,18
360,19
360,20
360,21
360,22
360,23
360,24
360,25
360,26
360,27
360,28
361,0
361,1
361,2
361,3
361,4
361,5
361,6
361,7
361,8
361,9
361,10
361,11
361,12
361,13
361,14
361,15
361,16
361,17
361,18
361,19
361,20
361,21
361,22
361,23
361,24
361,25
361,26
361,27
361,28
362,0
362,1
362,2
362,3
362,4
362,5
362,6
362,7
362,8
362,9
362,10
362,11
362,12
362,13
362,14
362,15
362,16
362,17
362,18
362,19
362,20
362,21
362,22
362,23
362,24
362,25
362,26
362,27
362,28
363,0
363,1
363,2
363,3
363,4
363,5
363,6
363,7
363,8
363,9
363,10
363,11
363,12
363,13
363,14
363,15
363,16
363,17
363,18
363,19
363,20
363,21
363,22
363,23
363,24
363,25
363,26
363,27
363,28
364,0
364,1
364,2
364,3
364,4
364,5
364,6
364,7
364,8
364,9
364,10
364,11
364,12
364,13
364,14
364,15
364,16
364,17
364,18
364,19
364,20
364,21
364,22
364,23
364,24
364,25
364,26
364,27
364,28
365,0
365,1
365,2
365,3
365,4
365,5
365,6
365,7
365,8
365,9
365,10
365,11
365,12
365,13
365,14
365,15
365,16
365,17
365,18
365,19
365,20
365,21
365,22
365,23
365,24
365,25
365,26
365,27
365,28
366,0
366,1
366,2
366,3
366,4
366,5
366,6
366,7
366,8
366,9
366,10
366,11
366,12
366,13
366,14
366,15
366,16
366,17
366,18
366,19
366,20
366,21
366,22
366,23
366,24
366,25
366,26
366,27
366,28
367,0
367,1
367,2
367,3
367,4
367,5
367,6
367,7
367,8
367,9
367,10
367,11
367,12
367,13
367,14
367,15
367,16
367,17
367,18
367,19
367,20
367,21
367,22
367,23
367,24
367,25
367,26
367,27
367,28
368,0
368,1
368,2
368,3
368,4
368,5
368,6
368,7
368,8
368,9
368,10
368,11
368,12
368,13
368,14
368,15
368,16
368,17
368,18
368,19
368,20
368,21
368,22
368,23
368,24
368,25
368,26
368,27
368,28
369,0
369,1
369,2
369,3
369,4
369,5
369,6
369,7
369,8
369,9
369,10
369,11
369,12
369,13
369,14
369,15
369,16
369,17
369,18
369,19
369,20
369,21
369,22
369,23
369,24
369,25
369,26
369,27
369,28
370,0
370,1
370,2
370,3
370,4
370,5
370,6
370,7
370,8
370,9
370,10
370,11
370,12
370,13
370,14
370,15
370,16
370,17
370,18
370,19
370,20
370,21
370,22
370,23
370,24
370,25
370,26
370,27
370,28
371,0
371,1
371,2
371,3
371,4
371,5
371,6
371,7
371,8
371,9
371,10
371,11
371,12
371,13
371,14
371,15
371,16
371,17
371,18
371,19
371,20
371,21
371,22
371,23
371,24
371,25
371,26
371,27
371,28
372,0
372,1
372,2
372,3
372,4
372,5
372,6
372,7
372,8
372,9
372,10
372,11
372,12
372,13
372,14
372,15
372,16
372,17
372,18
372,19
372,20
372,21
372,22
372,23
372,24
372,25
372,26
372,27
372,28
373,0
373,1
373,2
373,3
373,4
373,5
373,6
373,7
373,8
373,9
373,10
373,11
373,12
373,13
373,14
373,15
373,16
373,17
373,18
373,19
373,20
373,21
373,22
373,23
373,24
373,25
373,26
373,27
373,28
374,0
374,1
374,2
374,3
374,4
374,5
374,6
374,7
374,8
374,9
374,10
374,11
374,12
374,13
374,14
374,15
374,16
374,17
374,18
374,19
374,20
374,21
374,22
374,23
374,24
374,25
374,26
374,27
374,28
375,0
375,1
375,2
375,3
375,4
375,5
375,6
375,7
375,8
375,9
375,10
375,11
375,12
375,13
375,14
375,15
375,16
375,17
375,18
375,19
375,20
375,21
375,22
375,23
375,24
375,25
375,26
375,27
375,28
376,0
376,1
376,2
376,3
376,4
376,5
376,6
376,7
376,8
376,9
376,10
376,11
376,12
376,13
376,14
376,15
376,16
376,17
376,18
376,19
376,20
376,21
376,22
376,23
376,24
376,25
376,26
376,27
376,28
377,0
377,1
377,2
377,3
377,4
377,5
377,6
377,7
377,8
377,9
377,10
377,11
377,12
377,13
377,14
377,15
377,16
377,17
377,18
377,19
377,20
377,21
377,22
377,23
377,24
377,25
377,26
377,27
377,28
378,0
378,1
378,2
378,3
378,4
378,5
378,6
378,7
378,8
378,9
378,10
378,11
378,12
378,13
378,14
378,15
378,16
378,17
378,18
378,19
378,20
378,21
378,22
378,23
378,24
378,25
378,26
378,27
378,28
379,0
379,1
379,2
379,3
379,4
379,5
379,6
379,7
379,8
379,9
379,10
379,11
379,12
379,13
379,14
379,15
379,16
379,17
379,18
379,19
379,20
379,21
379,22
379,23
379,24
379,25
379,26
379,27
379,28
380,0
380,1
380,2
380,3
380,4
380,5
380,6
380,7
380,8
380,9
380,10
380,11
380,12
380,13
380,14
380,15
380,16
380,17
380,18
380,19
380,20
380,21
380,22
380,23
380,24
380,25
380,26
380,27
380,28
381,0
381,1
381,2
381,3
381,4
381,5
381,6
381,7
381,8
381,9
381,10
381,11
381,12
381,13
381,14
381,15
381,16
381,17
381,18
381,19
381,20
381,21
381,22
381,23
381,24
381,25
381,26
381,27
381,28
382,0
382,1
382,2
382,3
382,4
382,5
382,6
382,7
382,8
382,9
382,10
382,11
382,12
382,13
382,14
382,15
382,16
382,17
382,18
382,19
382,20
382,21
382,22
382,23
382,24
382,25
382,26
382,27
382,28
383,0
383,1
383,2
383,3
383,4
383,5
383,6
383,7
383,8
383,9
383,10
383,11
383,12
383,13
383,14
383,15
383,16
383,17
383,18
383,19
383,20
383,21
383,22
383,23
383,24
383,25
383,26
383,27
383,28
384,0
384,1
384,2
384,3
384,4
384,5
384,6
384,7
384,8
384,9
384,10
384,11
384,12
384,13
384,14
384,15
384,16
384,17
384,18
384,19
384,20
384,21
384,22
384,23
384,24
384,25
384,26
384,27
384,28
385,0
385,1
385,2
385,3
385,4
385,5
385,6
385,7
385,8
385,9
385,10
385,11
385,12
385,13
385,14
385,15
385,16
385,17
385,18
385,19
385,20
385,21
385,22
385,23
385,24
385,25
385,26
385,27
385,28
386,0
386,1
386,2
386,3
386,4
386,5
386,6
386,7
386,8
386,9
386,10
386,11
386,12
386,13
386,14
386,15
386,16
386,17
386,18
386,19
386,20
386,21
386,22
386,23
386,24
386,25
386,26
386,27
386,28
387,0
387,1
387,2
387,3
387,4
387,5
387,6
387,7
387,8
387,9
387,10
387,11
387,12
387,13
387,14
387,15
387,16
387,17
387,18
387,19
387,20
387,21
387,22
387,23
387,24
387,25
387,26
387,27
387,28
388,0
388,1
388,2
388,3
388,4
388,5
388,6
388,7
388,8
388,9
388,10
388,11
388,12
388,13
388,14
388,15
388,16
388,17
388,18
388,19
388,20
388,21
388,22
388,23
388,24
388,25
388,26
388,27
388,28
389,0
389,1
389,2
389,3
389,4
389,5
389,6
389,7
389,8
389,9
389,10
389,11
389,12
389,13
389,14
389,15
389,16
389,17
389,18
389,19
389,20
389,21
389,22
389,23
389,24
389,25
389,26
389,27
389,28
390,0
390,1
390,2
390,3
390,4
390,5
390,6
390,7
390,8
390,9
390,10
390,11
390,12
390,13
390,14
390,15
390,16
390,17
390,18
390,19
390,20
390,21
390,22
390,23
390,24
390,25
390,26
390,27
390,28
391,0
391,1
391,2
391,3
391,4
391,5
391,6
391,7
391,8
391,9
391,10
391,11
391,12
391,13
391,14
391,15
391,16
391,17
391,18
391,19
391,20
391,21
391,22
391,23
391,24
391,25
391,26
391,27
391,28
392,0
392,1
392,2
392,3
392,4
392,5
392,6
392,7
392,8
392,9
392,10
392,11
392,12
392,13
392,14
392,15
392,16
392,17
392,18
392,19
392,20
392,21
392,22
392,23
392,24
392,25
392,26
392,27
392,28
393,0
393,1
393,2
393,3
393,4
393,5
393,6
393,7
393,8
393,9
393,10
393,11
393,12
393,13
393,14
393,15
393,16
393,17
393,18
393,19
393,20
393,21
393,22
393,23
393,24
393,25
393,26
393,27
393,28
394,0
394,1
394,2
394,3
394,4
394,5
394,6
394,7
394,8
394,9
394,10
394,11
394,12
394,13
394,14
394,15
394,16
394,17
394,18
394,19
394,20
394,21
394,22
394,23
394,24
394,25
394,26
394,27
394,28
395,0
395,1
395,2
395,3
395,4
395,5
395,6
395,7
395,8
395,9
395,10
395,11
395,12
395,13
395,14
395,15
395,16
395,17
395,18
395,19
395,20
395,21
395,22
395,23
395,24
395,25
395,26
395,27
395,28
396,0
396,1
396,2
396,3
396,4
396,5
396,6
396,7
396,8
396,9
396,10
396,11
396,12
396,13
396,14
396,15
396,16
396,17
396,18
396,19
396,20
396,21
396,22
396,23
396,24
396,25
396,26
396,27
396,28
397,0
397,1
397,2
397,3
397,4
397,5
397,6
397,7
397,8
397,9
397,10
397,11
397,12
397,13
397,14
397,15
397,16
397,17
397,18
397,19
397,20
397,21
397,22
397,23
397,24
397,25
397,26
397,27
397,28
398,0
398,1
398,2
398,3
398,4
398,5
398,6
398,7
398,8
398,9
398,10
398,11
398,12
398,13
398,14
398,15
398,16
398,17
398,18
398,19
398,20
398,21
398,22
398,23
398,24
398,25
398,26
398,27
398,28
399,0
399,1
399,2
399,3
399,4
399,5
399,6
399,7
399,8
399,9
399,10
399,11
399,12
399,13
399,14
399,15
399,16
399,17
399,18
399,19
399,20
399,21
399,22
399,23
399,24
399,25
399,26
399,27
399,28
400,0
400,1
400,2
400,3
400,4
400,5
400,6
400,7
400,8
400,9
400,10
400,11
400,12
400,13
400,14
400,15
400,16
400,17
400,18
400,19
400,20
400,21
400,22
400,23
400,24
400,25
400,26
400,27
400,28
401,0
401,1
401,2
401,3
401,4
401,5
401,6
401,7
401,8
401,9
401,10
401,11
401,12
401,13
401,14
401,15
401,16
401,17
401,18
401,19
401,20
401,21
401,22
401,23
401,24
401,25
401,26
401,27
401,28
402,0
402,1
402,2
402,3
402,4
402,5
402,6
402,7
402,8
402,9
402,10
402,11
402,12
402,13
402,14
402,15
402,16
402,17
402,18
402,19
402,20
402,21
402,22
402,23
402,24
402,25
402,26
402,27
402,28
403,0
403,1
403,2
403,3
403,4
403,5
403,6
403,7
403,8
403,9
403,10
403,11
403,12
403,13
403,14
403,15
403,16
403,17
403,18
403,19
403,20
403,21
403,22
403,23
403,24
403,25
403,26
403,27
403,28
404,0
404,1
404,2
404,3
404,4
404,5
404,6
404,7
404,8
404,9
404,10
404,11
404,12
404,13
404,14
404,15
404,16
404,17
404,18
404,19
404,20
404,21
404,22
404,23
404,24
404,25
404,26
404,27
404,28
405,0
405,1
405,2
405,3
405,4
405,5
405,6
405,7
405,8
405,9
405,10
405,11
405,12
405,13
405,14
405,15
405,16
405,17
405,18
405,19
405,20
405,21
405,22
405,23
405,24
405,25
405,26
405,27
405,28
406,0
406,1
406,2
406,3
406,4
406,5
406,6
406,7
406,8
406,9
406,10
406,11
406,12
406,13
406,14
406,15
406,16
406,17
406,18
406,19
406,20
406,21
406,22
406,23
406,24
406,25
406,26
406,27
406,28
407,0
407,1
407,2
407,3
407,4
407,5
407,6
407,7
407,8
407,9
407,10
407,11
407,12
407,13
407,14
407,15
407,16
407,17
407,18
407,19
407,20
407,21
407,22
407,23
407,24
407,25
407,26
407,27
407,28
408,0
408,1
408,2
408,3
408,4
408,5
408,6
408,7
408,8
408,9
408,10
408,11
408,12
408,13
408,14
408,15
408,16
408,17
408,18
408,19
408,20
408,21
408,22
408,23
408,24
408,25
408,26
408,27
408,28
409,0
409,1
409,2
409,3
409,4
409,5
409,6
409,7
409,8
409,9
409,10
409,11
409,12
409,13
409,14
409,15
409,16
409,17
409,18
409,19
409,20
409,21
409,22
409,23
409,24
409,25
409,26
409,27
409,28
410,0
410,1
410,2
410,3
410,4
410,5
410,6
410,7
410,8
410,9
410,10
410,11
410,12
410,13
410,14
410,15
410,16
410,17
410,18
410,19
410,20
410,21
410,22
410,23
410,24
410,25
410,26
410,27
410,28
411,0
411,1
411,2
411,3
411,4
411,5
411,6
411,7
411,8
411,9
411,10
411,11
411,12
411,13
411,14
411,15
411,16
411,17
411,18
411,19
411,20
411,21
411,22
411,23
411,24
411,25
411,26
411,27
411,28
412,0
412,1
412,2
412,3
412,4
412,5
412,6
412,7
412,8
412,9
412,10
412,11
412,12
412,13
412,14
412,15
412,16
412,17
412,18
412,19
412,20
412,21
412,22
412,23
412,24
412,25
412,26
412,27
412,28
413,0
413,1
413,2
413,3
413,4
413,5
413,6
413,7
413,8
413,9
413,10
413,11
413,12
413,13
413,14
413,15
413,16
413,17
413,18
413,19
413,20
413,21
413,22
413,23
413,24
413,25
413,26
413,27
413,28
414,0
414,1
414,2
414,3
414,4
414,5
414,6
414,7
414,8
414,9
414,10
414,11
414,12
414,13
414,14
414,15
414,16
414,17
414,18
414,19
414,20
414,21
414,22
414,23
414,24
414,25
414,26
414,27
414,28
415,0
415,1
415,2
415,3
415,4
415,5
415,6
415,7
415,8
415,9
415,10
415,11
415,12
415,13
415,14
415,15
415,16
415,17
415,18
415,19
415,20
415,21
415,22
415,23
415,24
415,25
415,26
415,27
415,28
416,0
416,1
416,2
416,3
416,4
416,5
416,6
416,7
416,8
416,9
416,10
416,11
416,12
416,13
416,14
416,15
416,16
416,17
416,18
416,19
416,20
416,21
416,22
416,23
416,24
416,25
416,26
416,27
416,28
417,0
417,1
417,2
417,3
417,4
417,5
417,6
417,7
417,8
417,9
417,10
417,11
417,12
417,13
417,14
417,15
417,16
417,17
417,18
417,19
417,20
417,21
417,22
417,23
417,24
417,25
417,26
417,27
417,28
418,0
418,1
418,2
418,3
418,4
418,5
418,6
418,7
418,8
418,9
418,10
418,11
418,12
418,13
418,14
418,15
418,16
418,17
418,18
418,19
418,20
418,21
418,22
418,23
418,24
418,25
418,26
418,27
418,28
419,0
419,1
419,2
419,3
419,4
419,5
419,6
419,7
419,8
419,9
419,10
419,11
419,12
419,13
419,14
419,15
419,16
419,17
419,18
419,19
419,20
419,21
419,22
419,23
419,24
419,25
419,26
419,27
419,28
420,0
420,1
420,2
420,3
420,4
420,5
420,6
420,7
420,8
420,9
420,10
420,11
420,12
420,13
420,14
420,15
420,16
420,17
420,18
420,19
420,20
420,21
420,22
420,23
420,24
420,25
420,26
420,27
420,28
421,0
421,1
421,2
421,3
421,4
421,5
421,6
421,7
421,8
421,9
421,10
421,11
421,12
421,13
421,14
421,15
421,16
421,17
421,18
421,19
421,20
421,21
421,22
421,23
421,24
421,25
421,26
421,27
421,28
422,0
422,1
422,2
422,3
422,4
422,5
422,6
422,7
422,8
422,9
422,10
422,11
422,12
422,13
422,14
422,15
422,16
422,17
422,18
422,19
422,20
422,21
422,22
422,23
422,24
422,25
422,26
422,27
422,28
423,0
423,1
423,2
423,3
423,4
423,5
423,6
423,7
423,8
423,9
423,10
423,11
423,12
423,13
423,14
423,15
423,16
423,17
423,18
423,19
423,20
423,21
423,22
423,23
423,24
423,25
423,26
423,27
423,28
424,0
424,1
424,2
424,3
424,4
424,5
424,6
424,7
424,8
424,9
424,10
424,11
424,12
424,13
424,14
424,15
424,16
424,17
424,18
424,19
424,20
424,21
424,22
424,23
424,24
424,25
424,26
424,27
424,28
425,0
425,1
425,2
425,3
425,4
425,5
425,6
425,7
425,8
425,9
425,10
425,11
425,12
425,13
425,14
425,15
425,16
425,17
425,18
425,19
425,20
425,21
425,22
425,23
425,24
425,25
425,26
425,27
425,28
426,0
426,1
426,2
426,3
426,4
426,5
426,6
426,7
426,8
426,9
426,10
426,11
426,12
426,13
426,14
426,15
426,16
426,17
426,18
426,19
426,20
426,21
426,22
426,23
426,24
426,25
426,26
426,27
426,28
427,0
427,1
427,2
427,3
427,4
427,5
427,6
427,7
427,8
427,9
427,10
427,11
427,12
427,13
427,14
427,15
427,16
427,17
427,18
427,19
427,20
427,21
427,22
427,23
427,24
427,25
427,26
427,27
427,28
428,0
428,1
428,2
428,3
428,4
428,5
428,6
428,7
428,8
428,9
428,10
428,11
428,12
428,13
428,14
428,15
428,16
428,17
428,18
428,19
428,20
428,21
428,22
428,23
428,24
428,25
428,26
428,27
428,28
429,0
429,1
429,2
429,3
429,4
429,5
429,6
429,7
429,8
429,9
429,10
429,11
429,12
429,13
429,14
429,15
429,16
429,17
429,18
429,19
429,20
429,21
429,22
429,23
429,24
429,25
429,26
429,27
429,28
430,0
430,1
430,2
430,3
430,4
430,5
430,6
430,7
430,8
430,9
430,10
430,11
430,12
430,13
430,14
430,15
430,16
430,17
430,18
430,19
430,20
430,21
430,22
430,23
430,24
430,25
430,26
430,27
430,28
431,0
431,1
431,2
431,3
431,4
431,5
431,6
431,7
431,8
431,9
431,10
431,11
431,12
431,13
431,14
431,15
431,16
431,17
431,18
431,19
431,20
431,21
431,22
431,23
431,24
431,25
431,26
431,27
431,28
432,0
432,1
432,2
432,3
432,4
432,5
432,6
432,7
432,8
432,9
432,10
432,11
432,12
432,13
432,14
432,15
432,16
432,17
432,18
432,19
432,20
432,21
432,22
432,23
432,24
432,25
432,26
432,27
432,28
433,0
433,1
433,2
433,3
433,4
433,5
433,6
433,7
433,8
433,9
433,10
433,11
433,12
433,13
433,14
433,15
433,16
433,17
433,18
433,19
433,20
433,21
433,22
433,23
433,24
433,25
433,26
433,27
433,28
434,0
434,1
434,2
434,3
434,4
434,5
434,6
434,7
434,8
434,9
434,10
434,11
434,12
434,13
434,14
434,15
434,16
434,17
434,18
434,19
434,20
434,21
434,22
434,23
434,24
434,25
434,26
434,27
434,28
435,0
435,1
435,2
435,3
435,4
435,5
435,6
435,7
435,8
435,9
435,10
435,11
435,12
435,13
435,14
435,15
435,16
435,17
435,18
435,19
435,20
435,21
435,22
435,23
435,24
435,25
435,26
435,27
435,28
436,0
436,1
436,2
436,3
436,4
436,5
436,6
436,7
436,8
436,9
436,10
436,11
436,12
436,13
436,14
436,15
436,16
436,17
436,18
436,19
436,20
436,21
436,22
436,23
436,24
436,25
436,26
436,27
436,28
437,0
437,1
437,2
437,3
437,4
437,5
437,6
437,7
437,8
437,9
437,10
437,11
437,12
437,13
437,14
437,15
437,16
437,17
437,18
437,19
437,20
437,21
437,22
437,23
437,24
437,25
437,26
437,27
437,28
438,0
438,1
438,2
438,3
438,4
438,5
438,6
438,7
438,8
438,9
438,10
438,11
438,12
438,13
438,14
438,15
438,16
438,17
438,18
438,19
438,20
438,21
438,22
438,23
438,24
438,25
438,26
438,27
438,28
439,0
439,1
439,2
439,3
439,4
439,5
439,6
439,7
439,8
439,9
439,10
439,11
439,12
439,13
439,14
439,15
439,16
439,17
439,18
439,19
439,20
439,21
439,22
439,23
439,24
439,25
439,26
439,27
439,28
440,0
440,1
440,2
440,3
440,4
440,5
440,6
440,7
440,8
440,9
440,10
440,11
440,12
440,13
440,14
440,15
440,16
440,17
440,18
440,19
440,20
440,21
440,22
440,23
440,24
440,25
440,26
440,27
440,28
441,0
441,1
441,2
441,3
441,4
441,5
441,6
441,7
441,8
441,9
441,10
441,11
441,12
441,13
441,14
441,15
441,16
441,17
441,18
441,19
441,20
441,21
441,22
441,23
441,24
441,25
441,26
441,27
441,28
442,0
442,1
442,2
442,3
442,4
442,5
442,6
442,7
442,8
442,9
442,10
442,11
442,12
442,13
442,14
442,15
442,16
442,17
442,18
442,19
442,20
442,21
442,22
442,23
442,24
442,25
442,26
442,27
442,28
443,0
443,1
443,2
443,3
443,4
443,5
443,6
443,7
443,8
443,9
443,10
443,11
443,12
443,13
443,14
443,15
443,16
443,17
443,18
443,19
443,20
443,21
443,22
443,23
443,24
443,25
443,26
443,27
443,28
444,0
444,1
444,2
444,3
444,4
444,5
444,6
444,7
444,8
444,9
444,10
444,11
444,12
444,13
444,14
444,15
444,16
444,17
444,18
444,19
444,20
444,21
444,22
444,23
444,24
444,25
444,26
444,27
444,28
445,0
445,1
445,2
445,3
445,4
445,5
445,6
445,7
445,8
445,9
445,10
445,11
445,12
445,13
445,14
445,15
445,16
445,17
445,18
445,19
445,20
445,21
445,22
445,23
445,24
445,25
445,26
445,27
445,28
446,0
446,1
446,2
446,3
446,4
446,5
446,6
446,7
446,8
446,9
446,10
446,11
446,12
446,13
446,14
446,15
446,16
446,17
446,18
446,19
446,20
446,21
446,22
446,23
446,24
446,25
446,26
446,27
446,28
447,0
447,1
447,2
447,3
447,4
447,5
447,6
447,7
447,8
447,9
447,10
447,11
447,12
447,13
447,14
447,15
447,16
447,17
447,18
447,19
447,20
447,21
447,22
447,23
447,24
447,25
447,26
447,27
447,28
448,0
448,1
448,2
448,3
448,4
448,5
448,6
448,7
448,8
448,9
448,10
448,11
448,12
448,13
448,14
448,15
448,16
448,17
448,18
448,19
448,20
448,21
448,22
448,23
448,24
448,25
448,26
448,27
448,28
449,0
449,1
449,2
449,3
449,4
449,5
449,6
449,7
449,8
449,9
449,10
449,11
449,12
449,13
449,14
449,15
449,16
449,17
449,18
449,19
449,20
449,21
449,22
449,23
449,24
449,25
449,26
449,27
449,28
450,0
450,1
450,2
450,3
450,4
450,5
450,6
450,7
450,8
450,9
450,10
450,11
450,12
450,13
450,14
450,15
450,16
450,17
450,18
450,19
450,20
450,21
450,22
450,23
450,24
450,25
450,26
450,27
450,28
451,0
451,1
451,2
451,3
451,4
451,5
451,6
451,7
451,8
451,9
451,10
451,11
451,12
451,13
451,14
451,15
451,16
451,17
451,18
451,19
451,20
451,21
451,22
451,23
451,24
451,25
451,26
451,27
451,28
452,0
452,1
452,2
452,3
452,4
452,5
452,6
452,7
452,8
452,9
452,10
452,11
452,12
452,13
452,14
452,15
452,16
452,17
452,18
452,19
452,20
452,21
452,22
452,23
452,24
452,25
452,26
452,27
452,28
453,0
453,1
453,2
453,3
453,4
453,5
453,6
453,7
453,8
453,9
453,10
453,11
453,12
453,13
453,14
453,15
453,16
453,17
453,18
453,19
453,20
453,21
453,22
453,23
453,24
453,25
453,26
453,27
453,28
454,0
454,1
454,2
454,3
454,4
454,5
454,6
454,7
454,8
454,9
454,10
454,11
454,12
454,13
454,14
454,15
454,16
454,17
454,18
454,19
454,20
454,21
454,22
454,23
454,24
454,25
454,26
454,27
454,28
455,0
455,1
455,2
455,3
455,4
455,5
455,6
455,7
455,8
455,9
455,10
455,11
455,12
455,13
455,14
455,15
455,16
455,17
455,18
455,19
455,20
455,21
455,22
455,23
455,24
455,25
455,26
455,27
455,28
456,0
456,1
456,2
456,3
456,4
456,5
456,6
456,7
456,8
456,9
456,10
456,11
456,12
456,13
456,14
456,15
456,16
456,17
456,18
456,19
456,20
456,21
456,22
456,23
456,24
456,25
456,26
456,27
456,28
457,0
457,1
457,2
457,3
457,4
457,5
457,6
457,7
457,8
457,9
457,10
457,11
457,12
457,13
457,14
457,15
457,16
457,17
457,18
457,19
457,20
457,21
457,22
457,23
457,24
457,25
457,26
457,27
457,28
458,0
458,1
458,2
458,3
458,4
458,5
458,6
458,7
458,8
458,9
458,10
458,11
458,12
458,13
458,14
458,15
458,16
458,17
458,18
458,19
458,20
458,21
458,22
458,23
458,24
458,25
458,26
458,27
458,28
459,0
459,1
459,2
459,3
459,4
459,5
459,6
459,7
459,8
459,9
459,10
459,11
459,12
459,13
459,14
459,15
459,16
459,17
459,18
459,19
459,20
459,21
459,22
459,23
459,24
459,25
459,26
459,27
459,28
460,0
460,1
460,2
460,3
460,4
460,5
460,6
460,7
460,8
460,9
460,10
460,11
460,12
460,13
460,14
460,15
460,16
460,17
460,18
460,19
460,20
460,21
460,22
460,23
460,24
460,25
460,26
460,27
460,28
461,0
461,1
461,2
461,3
461,4
461,5
461,6
461,7
461,8
461,9
461,10
461,11
461,12
461,13
461,14
461,15
461,16
461,17
461,18
461,19
461,20
461,21
461,22
461,23
461,24
461,25
461,26
461,27
461,28
462,0
462,1
462,2
462,3
462,4
462,5
462,6
462,7
462,8
462,9
462,10
462,11
462,12
462,13
462,14
462,15
462,16
462,17
462,18
462,19
462,20
462,21
462,22
462,23
462,24
462,25
462,26
462,27
462,28
463,0
463,1
463,2
463,3
463,4
463,5
463,6
463,7
463,8
463,9
463,10
463,11
463,12
463,13
463,14
463,15
463,16
463,17
463,18
463,19
463,20
463,21
463,22
463,23
463,24
463,25
463,26
463,27
463,28
464,0
464,1
464,2
464,3
464,4
464,5
464,6
464,7
464,8
464,9
464,10
464,11
464,12
464,13
464,14
464,15
464,16
464,17
464,18
464,19
464,20
464,21
464,22
464,23
464,24
464,25
464,26
464,27
464,28
465,0
465,1
465,2
465,3
465,4
465,5
465,6
465,7
465,8
465,9
465,10
465,11
465,12
465,13
465,14
465,15
465,16
465,17
465,18
465,19
465,20
465,21
465,22
465,23
465,24
465,25
465,26
465,27
465,28
466,0
466,1
466,2
466,3
466,4
466,5
466,6
466,7
466,8
466,9
466,10
466,11
466,12
466,13
466,14
466,15
466,16
466,17
466,18
466,19
466,20
466,21
466,22
466,23
466,24
466,25
466,26
466,27
466,28
467,0
467,1
467,2
467,3
467,4
467,5
467,6
467,7
467,8
467,9
467,10
467,11
467,12
467,13
467,14
467,15
467,16
467,17
467,18
467,19
467,20
467,21
467,22
467,23
467,24
467,25
467,26
467,27
467,28
468,0
468,1
468,2
468,3
468,4
468,5
468,6
468,7
468,8
468,9
468,10
468,11
468,12
468,13
468,14
468,15
468,16
468,17
468,18
468,19
468,20
468,21
468,22
468,23
468,24
468,25
468,26
468,27
468,28
469,0
469,1
469,2
469,3
469,4
469,5
469,6
469,7
469,8
469,9
469,10
469,11
469,12
469,13
469,14
469,15
469,16
469,17
469,18
469,19
469,20
469,21
469,22
469,23
469,24
469,25
469,26
469,27
469,28
470,0
470,1
470,2
470,3
470,4
470,5
470,6
470,7
470,8
470,9
470,10
470,11
470,12
470,13
470,14
470,15
470,16
470,17
470,18
470,19
470,20
470,21
470,22
470,23
470,24
470,25
470,26
470,27
470,28
471,0
471,1
471,2
471,3
471,4
471,5
471,6
471,7
471,8
471,9
471,10
471,11
471,12
471,13
471,14
471,15
471,16
471,17
471,18
471,19
471,20
471,21
471,22
471,23
471,24
471,25
471,26
471,27
471,28
472,0
472,1
472,2
472,3
472,4
472,5
472,6
472,7
472,8
472,9
472,10
472,11
472,12
472,13
472,14
472,15
472,16
472,17
472,18
472,19
472,20
472,21
472,22
472,23
472,24
472,25
472,26
472,27
472,28
473,0
473,1
473,2
473,3
473,4
473,5
473,6
473,7
473,8
473,9
473,10
473,11
473,12
473,13
473,14
473,15
473,16
473,17
473,18
473,19
473,20
473,21
473,22
473,23
473,24
473,25
473,26
473,27
473,28
474,0
474,1
474,2
474,3
474,4
474,5
474,6
474,7
474,8
474,9
474,10
474,11
474,12
474,13
474,14
474,15
474,16
474,17
474,18
474,19
474,20
474,21
474,22
474,23
474,24
474,25
474,26
474,27
474,28
475,0
475,1
475,2
475,3
475,4
475,5
475,6
475,7
475,8
475,9
475,10
475,11
475,12
475,13
475,14
475,15
475,16
475,17
475,18
475,19
475,20
475,21
475,22
475,23
475,24
475,25
475,26
475,27
475,28
476,0
476,1
476,2
476,3
476,4
476,5
476,6
476,7
476,8
476,9
476,10
476,11
476,12
476,13
476,14
476,15
476,16
476,17
476,18
476,19
476,20
476,21
476,22
476,23
476,24
476,25
476,26
476,27
476,28
477,0
477,1
477,2
477,3
477,4
477,5
477,6
477,7
477,8
477,9
477,10
477,11
477,12
477,13
477,14
477,15
477,16
477,17
477,18
477,19
477,20
477,21
477,22
477,23
477,24
477,25
477,26
477,27
477,28
478,0
478,1
478,2
478,3
478,4
478,5
478,6
478,7
478,8
478,9
478,10
478,11
478,12
478,13
478,14
478,15
478,16
478,17
478,18
478,19
478,20
478,21
478,22
478,23
478,24
478,25
478,26
478,27
478,28
479,0
479,1
479,2
479,3
479,4
479,5
479,6
479,7
479,8
479,9
479,10
479,11
479,12
479,13
479,14
479,15
479,16
479,17
479,18
479,19
479,20
479,21
479,22
479,23
479,24
479,25
479,26
479,27
479,28
480,0
480,1
480,2
480,3
480,4
480,5
480,6
480,7
480,8
480,9
480,10
480,11
480,12
480,13
480,14
480,15
480,16
480,17
480,18
480,19
480,20
480,21
480,22
480,23
480,24
480,25
480,26
480,27
480,28
481,0
481,1
481,2
481,3
481,4
481,5
481,6
481,7
481,8
481,9
481,10
481,11
481,12
481,13
481,14
481,15
481,16
481,17
481,18
481,19
481,20
481,21
481,22
481,23
481,24
481,25
481,26
481,27
481,28
482,0
482,1
482,2
482,3
482,4
482,5
482,6
482,7
482,8
482,9
482,10
482,11
482,12
482,13
482,14
482,15
482,16
482,17
482,18
482,19
482,20
482,21
482,22
482,23
482,24
482,25
482,26
482,27
482,28
483,0
483,1
483,2
483,3
483,4
483,5
483,6
483,7
483,8
483,9
483,10
483,11
483,12
483,13
483,14
483,15
483,16
483,17
483,18
483,19
483,20
483,21
483,22
483,23
483,24
483,25
483,26
483,27
483,28
484,0
484,1
484,2
484,3
484,4
484,5
484,6
484,7
484,8
484,9
484,10
484,11
484,12
484,13
484,14
484,15
484,16
484,17
484,18
484,19
484,20
484,21
484,22
484,23
484,24
484,25
484,26
484,27
484,28
485,0
485,1
485,2
485,3
485,4
485,5
485,6
485,7
485,8
485,9
485,10
485,11
485,12
485,13
485,14
485,15
485,16
485,17
485,18
485,19
485,20
485,21
485,22
485,23
485,24
485,25
485,26
485,27
485,28
486,0
486,1
486,2
486,3
486,4
486,5
486,6
486,7
486,8
486,9
486,10
486,11
486,12
486,13
486,14
486,15
486,16
486,17
486,18
486,19
486,20
486,21
486,22
486,23
486,24
486,25
486,26
486,27
486,28
487,0
487,1
487,2
487,3
487,4
487,5
487,6
487,7
487,8
487,9
487,10
487,11
487,12
487,13
487,14
487,15
487,16
487,17
487,18
487,19
487,20
487,21
487,22
487,23
487,24
487,25
487,26
487,27
487,28
488,0
488,1
488,2
488,3
488,4
488,5
488,6
488,7
488,8
488,9
488,10
488,11
488,12
488,13
488,14
488,15
488,16
488,17
488,18
488,19
488,20
488,21
488,22
488,23
488,24
488,25
488,26
488,27
488,28
489,0
489,1
489,2
489,3
489,4
489,5
489,6
489,7
489,8
489,9
489,10
489,11
489,12
489,13
489,14
489,15
489,16
489,17
489,18
489,19
489,20
489,21
489,22
489,23
489,24
489,25
489,26
489,27
489,28
490,0
490,1
490,2
490,3
490,4
490,5
490,6
490,7
490,8
490,9
490,10
490,11
490,12
490,13
490,14
490,15
490,16
490,17
490,18
490,19
490,20
490,21
490,22
490,23
490,24
490,25
490,26
490,27
490,28
491,0
491,1
491,2
491,3
491,4
491,5
491,6
491,7
491,8
491,9
491,10
491,11
491,12
491,13
491,14
491,15
491,16
491,17
491,18
491,19
491,20
491,21
491,22
491,23
491,24
491,25
491,26
491,27
491,28
492,0
492,1
492,2
492,3
492,4
492,5
492,6
492,7
492,8
492,9
492,10
492,11
492,12
492,13
492,14
492,15
492,16
492,17
492,18
492,19
492,20
492,21
492,22
492,23
492,24
492,25
492,26
492,27
492,28
493,0
493,1
493,2
493,3
493,4
493,5
493,6
493,7
493,8
493,9
493,10
493,11
493,12
493,13
493,14
493,15
493,16
493,17
493,18
493,19
493,20
493,21
493,22
493,23
493,24
493,25
493,26
493,27
493,28
494,0
494,1
494,2
494,3
494,4
494,5
494,6
494,7
494,8
494,9
494,10
494,11
494,12
494,13
494,14
494,15
494,16
494,17
494,18
494,19
494,20
494,21
494,22
494,23
494,24
494,25
494,26
494,27
494,28
495,0
495,1
495,2
495,3
495,4
495,5
495,6
495,7
495,8
495,9
495,10
495,11
495,12
495,13
495,14
495,15
495,16
495,17
495,18
495,19
495,20
495,21
495,22
495,23
495,24
495,25
495,26
495,27
495,28
496,0
496,1
496,2
496,3
496,4
496,5
496,6
496,7
496,8
496,9
496,10
496,11
496,12
496,13
496,14
496,15
496,16
496,17
496,18
496,19
496,20
496,21
496,22
496,23
496,24
496,25
496,26
496,27
496,28
497,0
497,1
497,2
497,3
497,4
497,5
497,6
497,7
497,8
497,9
497,10
497,11
497,12
497,13
497,14
497,15
497,16
497,17
497,18
497,19
497,20
497,21
497,22
497,23
497,24
497,25
497,26
497,27
497,28
498,0
498,1
498,2
498,3
498,4
498,5
498,6
498,7
498,8
498,9
498,10
498,11
498,12
498,13
498,14
498,15
498,16
498,17
498,18
498,19
498,20
498,21
498,22
498,23
498,24
498,25
498,26
498,27
498,28
499,0
499,1
499,2
499,3
499,4
499,5
499,6
499,7
499,8
499,9
499,10
499,11
499,12
499,13
499,14
499,15
499,16
499,17
499,18
499,19
499,20
499,21
499,22
499,23
499,24
499,25
499,26
499,27
499,28
500,0
500,1
500,2
500,3
500,4
500,5
500,6
500,7
500,8
500,9
500,10
500,11
500,12
500,13
500,14
500,15
500,16
500,17
500,18
500,19
500,20
500,21
500,22
500,23
500,24
500,25
500,26
500,27
500,28
501,0
501,1
501,2
501,3
501,4
501,5
501,6
501,7
501,8
501,9
501,10
501,11
501,12
501,13
501,14
501,15
501,16
501,17
501,18
501,19
501,20
501,21
501,22
501,23
501,24
501,25
501,26
501,27
501,28
502,0
502,1
502,2
502,3
502,4
502,5
502,6
502,7
502,8
502,9
502,10
502,11
502,12
502,13
502,14
502,15
502,16
502,17
502,18
502,19
502,20
502,21
502,22
502,23
502,24
502,25
502,26
502,27
502,28
503,0
503,1
503,2
503,3
503,4
503,5
503,6
503,7
503,8
503,9
503,10
503,11
503,12
503,13
503,14
503,15
503,16
503,17
503,18
503,19
503,20
503,21
503,22
503,23
503,24
503,25
503,26
503,27
503,28
504,0
504,1
504,2
504,3
504,4
504,5
504,6
504,7
504,8
504,9
504,10
504,11
504,12
504,13
504,14
504,15
504,16
504,17
504,18
504,19
504,20
504,21
504,22
504,23
504,24
504,25
504,26
504,27
504,28
505,0
505,1
505,2
505,3
505,4
505,5
505,6
505,7
505,8
505,9
505,10
505,11
505,12
505,13
505,14
505,15
505,16
505,17
505,18
505,19
505,20
505,21
505,22
505,23
505,24
505,25
505,26
505,27
505,28
506,0
506,1
506,2
506,3
506,4
506,5
506,6
506,7
506,8
506,9
506,10
506,11
506,12
506,13
506,14
506,15
506,16
506,17
506,18
506,19
506,20
506,21
506,22
506,23
506,24
506,25
506,26
506,27
506,28
507,0
507,1
507,2
507,3
507,4
507,5
507,6
507,7
507,8
507,9
507,10
507,11
507,12
507,13
507,14
507,15
507,16
507,17
507,18
507,19
507,20
507,21
507,22
507,23
507,24
507,25
507,26
507,27
507,28
508,0
508,1
508,2
508,3
508,4
508,5
508,6
508,7
508,8
508,9
508,10
508,11
508,12
508,13
508,14
508,15
508,16
508,17
508,18
508,19
508,20
508,21
508,22
508,23
508,24
508,25
508,26
508,27
508,28
509,0
509,1
509,2
509,3
509,4
509,5
509,6
509,7
509,8
509,9
509,10
509,11
509,12
509,13
509,14
509,15
509,16
509,17
509,18
509,19
509,20
509,21
509,22
509,23
509,24
509,25
509,26
509,27
509,28
510,0
510,1
510,2
510,3
510,4
510,5
510,6
510,7
510,8
510,9
510,10
510,11
510,12
510,13
510,14
510,15
510,16
510,17
510,18
510,19
510,20
510,21
510,22
510,23
510,24
510,25
510,26
510,27
510,28
511,0
511,1
511,2
511,3
511,4
511,5
511,6
511,7
511,8
511,9
511,10
511,11
511,12
511,13
511,14
511,15
511,16
511,17
511,18
511,19
511,20
511,21
511,22
511,23
511,24
511,25
511,26
511,27
511,28
## [0] flags are bits $${\frac{{{f_{0}\left(x\right)}}^{{2}} - {f_{0}\left(x\right)}}{{x}^{{\frac{T}{{2}}}} - {1}}}$$
## [1] flags_extra are bits $${\frac{{{f_{0}\left(xg^{3}\right)}}^{{2}} - {f_{0}\left(xg^{3}\right)}}{{x}^{{\frac{T}{{4}}}} - {1}}}$$
## [2] instruction format $${\frac{{f_{4}\left(xg^{3}\right)} - \left(\left(\left({1} - {f_{0}\left(xg^{4}\right)}\right) \cdot \left({f_{1}\left(xg^{11}\right)} \cdot 2^{192}+{f_{1}\left(xg^{10}\right)} \cdot 2^{176}+{f_{1}\left(xg^{9}\right)} \cdot 2^{160}+{f_{1}\left(xg^{8}\right)} \cdot 2^{144}+{f_{1}\left(xg^{7}\right)} \cdot 2^{128}+{f_{1}\left(xg^{6}\right)} \cdot 2^{112}+{f_{1}\left(xg^{5}\right)} \cdot 2^{96}+{f_{1}\left(xg^{4}\right)} \cdot 2^{80}+{f_{1}\left(xg^{3}\right)} \cdot 2^{64}+{f_{1}\left(xg^{2}\right)} \cdot 2^{48}+{f_{1}\left(xg\right)} \cdot 2^{32}+{f_{1}\left(x\right)} \cdot 2^{16}\right) + {f_{0}\left(xg^{4}\right)} \cdot \left({f_{1}\left(xg^{15}\right)} \cdot 2^{240}+{f_{1}\left(xg^{14}\right)} \cdot 2^{224}+{f_{1}\left(xg^{13}\right)} \cdot 2^{208}+{f_{1}\left(xg^{12}\right)} \cdot 2^{192}+{f_{1}\left(xg^{10}\right)} \cdot 2^{176}+{f_{1}\left(xg^{9}\right)} \cdot 2^{160}+{f_{1}\left(xg^{8}\right)} \cdot 2^{144}+{f_{1}\left(xg^{7}\right)} \cdot 2^{128}+{f_{1}\left(xg^{6}\right)} \cdot 2^{112}+{f_{1}\left(xg^{5}\right)} \cdot 2^{96}+{f_{1}\left(xg^{4}\right)} \cdot 2^{80}+{f_{1}\left(xg^{3}\right)} \cdot 2^{64}+{f_{1}\left(xg^{2}\right)} \cdot 2^{48}+{f_{1}\left(xg\right)} \cdot 2^{32}+{f_{1}\left(x\right)} \cdot 2^{16}\right)\right) \cdot 2^{251}+{f_{0}\left(xg^{15}\right)} \cdot 2^{11}+{f_{0}\left(xg^{11}\right)} \cdot 2^{10}+{f_{0}\left(xg^{7}\right)} \cdot 2^{9}+{f_{0}\left(xg^{3}\right)} \cdot 2^{8}+{f_{0}\left(xg^{12}\right)} \cdot 2^{7}+{f_{0}\left(xg^{10}\right)} \cdot 2^{6}+{f_{0}\left(xg^{8}\right)} \cdot 2^{5}+{f_{0}\left(xg^{6}\right)} \cdot 2^{4}+{f_{0}\left(xg^{4}\right)} \cdot 2^{3}+{f_{0}\left(xg^{2}\right)} \cdot 2^{2}+{f_{0}\left(x\right)} \cdot 2^{1}\right)}{{x}^{{\frac{T}{{16}}}} - {1}}}$$
## [3] inst_final $${\frac{{f_{4}\left(xg^{3}\right)} - {\mathrm{4001c00040004000c0014000400040014000400040004000000}_{16}}}{{x}^{{\frac{T}{T}}} - {g}^{T - {16}}}}$$
## [4] op1_base_addr $${\frac{\left({1} - {f_{0}\left(xg^{4}\right)}\right) \cdot \left({f_{3}\left(xg^{4}\right)} - \left({f_{3}\left(x\right)} + {f_{1}\left(x\right)} - {32768}\right)\right)}{{x}^{{\frac{T}{{16}}}} - {1}}}$$
## [5] op1_addr $${\frac{\left({1} - {f_{0}\left(xg^{4}\right)}\right) \cdot \left({f_{3}\left(xg^{5}\right)} - \left({f_{4}\left(xg^{4}\right)} + {f_{1}\left(xg\right)} - {32768}\right)\right)}{{x}^{{\frac{T}{{16}}}} - {1}}}$$
## [6] op2_base_addr $${\frac{\left({1} - {f_{0}\left(xg^{4}\right)}\right) \cdot \left({f_{3}\left(xg^{6}\right)} - \left({f_{3}\left(x\right)} + {f_{1}\left(xg^{3}\right)} - {32768}\right)\right)}{{x}^{{\frac{T}{{16}}}} - {1}}}$$
## [7] op2_addr $${\frac{\left({1} - {f_{0}\left(xg^{4}\right)}\right) \cdot \left({f_{3}\left(xg^{7}\right)} - \left({f_{4}\left(xg^{6}\right)} + {f_{1}\left(xg^{4}\right)} - {32768}\right)\right)}{{x}^{{\frac{T}{{16}}}} - {1}}}$$
## [8] dst_base_addr $${\frac{\left({1} - {f_{0}\left(xg^{4}\right)}\right) \cdot \left({f_{3}\left(xg^{8}\right)} - \left({f_{3}\left(x\right)} + {f_{1}\left(xg^{6}\right)} - {32768}\right)\right)}{{x}^{{\frac{T}{{16}}}} - {1}}}$$
## [9] dst_addr $${\frac{\left({1} - {f_{0}\left(xg^{4}\right)}\right) \cdot \left({f_{3}\left(xg^{9}\right)} - \left({f_{4}\left(xg^{8}\right)} + {f_{1}\left(xg^{7}\right)} - {32768}\right)\right)}{{x}^{{\frac{T}{{16}}}} - {1}}}$$
## [10] v1_op1_addr $${\frac{{f_{0}\left(xg^{4}\right)} \cdot \left({f_{3}\left(xg^{4}\right)} - \left({f_{3}\left(x\right)} + {f_{1}\left(x\right)} - {32768}\right)\right)}{{x}^{{\frac{T}{{16}}}} - {1}}}$$
## [11] v1_op2_addr $${\frac{{f_{0}\left(xg^{4}\right)} \cdot \left({f_{3}\left(xg^{5}\right)} - \left({f_{3}\left(xg^{3}\right)} + {f_{1}\left(xg\right)} - {32768}\right)\right)}{{x}^{{\frac{T}{{16}}}} - {1}}}$$
## [12] v1_dst_base_addr $${\frac{{f_{0}\left(xg^{4}\right)} \cdot \left({f_{3}\left(xg^{6}\right)} - \left({f_{3}\left(x\right)} + {f_{1}\left(xg^{2}\right)} - {32768}\right)\right)}{{x}^{{\frac{T}{{16}}}} - {1}}}$$
## [13] v1_dst_addr $${\frac{{f_{0}\left(xg^{4}\right)} \cdot \left({f_{3}\left(xg^{7}\right)} - \left({f_{4}\left(xg^{6}\right)} + {f_{1}\left(xg^{3}\right)} - {32768}\right)\right)}{{x}^{{\frac{T}{{16}}}} - {1}}}$$
## [14] v1_sum $${\frac{{f_{0}\left(xg^{4}\right)} \cdot \left({f_{4}\left(xg^{4}\right)} + {f_{4}\left(xg^{5}\right)} - \left({f_{4}\left(xg^{7}\right)} + {f_{1}\left(xg^{4}\right)} - {32768}\right)\right)}{{x}^{{\frac{T}{{16}}}} - {1}}}$$
## [15] v2_op1_addr $${\frac{{f_{0}\left(xg^{4}\right)} \cdot \left({f_{3}\left(xg^{8}\right)} - \left({f_{3}\left(x\right)} + {f_{1}\left(xg^{5}\right)} - {32768}\right)\right)}{{x}^{{\frac{T}{{16}}}} - {1}}}$$
## [16] v2_op2_addr $${\frac{{f_{0}\left(xg^{4}\right)} \cdot \left({f_{3}\left(xg^{9}\right)} - \left({f_{3}\left(xg^{3}\right)} + {f_{1}\left(xg^{6}\right)} - {32768}\right)\right)}{{x}^{{\frac{T}{{16}}}} - {1}}}$$
## [17] v2_dst_base_addr $${\frac{{f_{0}\left(xg^{4}\right)} \cdot \left({f_{3}\left(xg^{10}\right)} - \left({f_{3}\left(x\right)} + {f_{1}\left(xg^{7}\right)} - {32768}\right)\right)}{{x}^{{\frac{T}{{16}}}} - {1}}}$$
## [18] v2_dst_addr $${\frac{{f_{0}\left(xg^{4}\right)} \cdot \left({f_{3}\left(xg^{11}\right)} - \left({f_{4}\left(xg^{10}\right)} + {f_{1}\left(xg^{8}\right)} - {32768}\right)\right)}{{x}^{{\frac{T}{{16}}}} - {1}}}$$
## [19] v2_sum $${\frac{{f_{0}\left(xg^{4}\right)} \cdot \left({f_{4}\left(xg^{8}\right)} + {f_{4}\left(xg^{9}\right)} - \left({f_{4}\left(xg^{11}\right)} + {f_{1}\left(xg^{9}\right)} - {32768}\right)\right)}{{x}^{{\frac{T}{{16}}}} - {1}}}$$
## [20] v3_op1_addr $${\frac{{f_{0}\left(xg^{4}\right)} \cdot \left({f_{3}\left(xg^{12}\right)} - \left({f_{3}\left(x\right)} + {f_{1}\left(xg^{10}\right)} - {32768}\right)\right)}{{x}^{{\frac{T}{{16}}}} - {1}}}$$
## [21] v3_op2_addr $${\frac{{f_{0}\left(xg^{4}\right)} \cdot \left({f_{3}\left(xg^{13}\right)} - \left({f_{3}\left(xg^{3}\right)} + {f_{1}\left(xg^{12}\right)} - {32768}\right)\right)}{{x}^{{\frac{T}{{16}}}} - {1}}}$$
## [22] v3_dst_base_addr $${\frac{{f_{0}\left(xg^{4}\right)} \cdot \left({f_{3}\left(xg^{14}\right)} - \left({f_{3}\left(x\right)} + {f_{1}\left(xg^{13}\right)} - {32768}\right)\right)}{{x}^{{\frac{T}{{16}}}} - {1}}}$$
## [23] v3_dst_addr $${\frac{{f_{0}\left(xg^{4}\right)} \cdot \left({f_{3}\left(xg^{15}\right)} - \left({f_{4}\left(xg^{14}\right)} + {f_{1}\left(xg^{14}\right)} - {32768}\right)\right)}{{x}^{{\frac{T}{{16}}}} - {1}}}$$
## [24] v3_sum $${\frac{{f_{0}\left(xg^{4}\right)} \cdot \left({f_{4}\left(xg^{12}\right)} + {f_{4}\left(xg^{13}\right)} - \left({f_{4}\left(xg^{15}\right)} + {f_{1}\left(xg^{15}\right)} - {32768}\right)\right)}{{x}^{{\frac{T}{{16}}}} - {1}}}$$
## [25] op3_base_addr $${\frac{\left({f_{0}\left(xg^{6}\right)} + {f_{0}\left(xg^{8}\right)} + {f_{0}\left(xg^{10}\right)}\right) \cdot \left({f_{3}\left(xg^{10}\right)} - \left({f_{3}\left(x\right)} + {f_{1}\left(xg^{9}\right)} - {32768}\right)\right)}{{x}^{{\frac{T}{{16}}}} - {1}}}$$
## [26] op3_addr $${\frac{\left({f_{0}\left(xg^{6}\right)} + {f_{0}\left(xg^{8}\right)} + {f_{0}\left(xg^{10}\right)}\right) \cdot \left({f_{3}\left(xg^{11}\right)} - \left({f_{4}\left(xg^{10}\right)} + {f_{1}\left(xg^{10}\right)} - {32768}\right)\right)}{{x}^{{\frac{T}{{16}}}} - {1}}}$$
## [27] cnt_init $${\frac{{f_{3}\left(x\right)} - \mathrm{cnt\_init}}{{x}^{{\frac{T}{T}}} - {1}}}$$
## [28] cnt_final $${\frac{{f_{3}\left(x\right)} - \mathrm{cnt\_final}}{{x}^{{\frac{T}{T}}} - {g}^{T - {16}}}}$$
## [29] cnt -> cnt $${\frac{{f_{3}\left(x\right)} - {f_{4}\left(x\right)}}{{x}^{{\frac{T}{{16}}}} - {1}}}$$
## [30] cnt update $${\frac{\left({f_{3}\left(xg^{16}\right)} - \left({f_{3}\left(x\right)} + \left({1} - {f_{0}\left(xg^{4}\right)}\right) \cdot \left({f_{1}\left(xg^{11}\right)} - {32768}\right) + {f_{0}\left(xg^{4}\right)} \cdot \left({f_{0}\left(xg^{15}\right)} \cdot 2^{4}+{f_{0}\left(xg^{11}\right)} \cdot 2^{3}+{f_{0}\left(xg^{7}\right)} \cdot 2^{2}+{f_{0}\left(xg^{3}\right)} \cdot 2^{1}\right)\right)\right) \cdot \left(x - {g}^{T - {16}}\right)}{{x}^{{\frac{T}{{16}}}} - {1}}}$$
## [31] rbp_addr $${\frac{{f_{3}\left(xg\right)} - \left({f_{3}\left(x\right)} + {1}\right)}{{x}^{{\frac{T}{{16}}}} - {1}}}$$
## [32] pc_addr $${\frac{{f_{3}\left(xg^{2}\right)} - \left({f_{3}\left(x\right)} + {2}\right)}{{x}^{{\frac{T}{{16}}}} - {1}}}$$
## [33] mul $${\frac{{f_{0}\left(xg\right)} - \left({f_{4}\left(xg^{5}\right)} + {f_{1}\left(xg^{2}\right)} - {32768}\right) \cdot \left({f_{4}\left(xg^{7}\right)} + {f_{1}\left(xg^{5}\right)} - {32768}\right)}{{x}^{{\frac{T}{{16}}}} - {1}}}$$
## [34] res $${\frac{\left({1} - \left({1} - \left({f_{0}\left(x\right)} + {f_{0}\left(xg^{2}\right)} + {f_{0}\left(xg^{4}\right)}\right)\right)\right) \cdot {f_{0}\left(xg^{5}\right)} - \left({f_{0}\left(x\right)} \cdot {f_{0}\left(xg\right)} + {f_{0}\left(xg^{2}\right)} \cdot \left({f_{4}\left(xg^{5}\right)} + {f_{1}\left(xg^{2}\right)} - {32768} + \left({f_{4}\left(xg^{7}\right)} + {f_{1}\left(xg^{5}\right)} - {32768}\right)\right) + {f_{0}\left(xg^{6}\right)} \cdot {f_{4}\left(xg^{11}\right)} - {f_{0}\left(xg^{8}\right)} \cdot {f_{4}\left(xg^{11}\right)}\right)}{{x}^{{\frac{T}{{16}}}} - {1}}}$$
## [35] dst = res if not jnz $${\frac{\left({1} - \left({1} - \left({f_{0}\left(x\right)} + {f_{0}\left(xg^{2}\right)} + {f_{0}\left(xg^{4}\right)}\right) + {f_{0}\left(xg^{4}\right)}\right)\right) \cdot \left({f_{4}\left(xg^{9}\right)} + {f_{1}\left(xg^{8}\right)} - {32768} - {f_{0}\left(xg^{5}\right)}\right)}{{x}^{{\frac{T}{{16}}}} - {1}}}$$
## [36] t0 $${\frac{{f_{0}\left(xg^{9}\right)} - \left({1} - \left({f_{0}\left(x\right)} + {f_{0}\left(xg^{2}\right)} + {f_{0}\left(xg^{4}\right)}\right)\right) \cdot \left({f_{4}\left(xg^{5}\right)} + {f_{1}\left(xg^{2}\right)} - {32768}\right)}{{x}^{{\frac{T}{{16}}}} - {1}}}$$
## [37] t1 $${\frac{{f_{0}\left(xg^{13}\right)} - {f_{0}\left(xg^{9}\right)} \cdot {f_{0}\left(xg^{5}\right)}}{{x}^{{\frac{T}{{16}}}} - {1}}}$$
## [38] jnz fallback $${\frac{\left({f_{0}\left(xg^{13}\right)} - \left({1} - \left({f_{0}\left(x\right)} + {f_{0}\left(xg^{2}\right)} + {f_{0}\left(xg^{4}\right)}\right)\right)\right) \cdot \left({f_{3}\left(xg^{19}\right)} - \left({f_{4}\left(xg^{9}\right)} + {f_{1}\left(xg^{8}\right)} - {32768}\right)\right) \cdot \left(x - {g}^{T - {16}}\right)}{{x}^{{\frac{T}{{16}}}} - {1}}}$$
## [39] jnz jump $${\frac{{f_{0}\left(xg^{9}\right)} \cdot \left({f_{3}\left(xg^{19}\right)} - \left({f_{4}\left(xg^{7}\right)} + {f_{1}\left(xg^{5}\right)} - {32768}\right)\right) \cdot \left(x - {g}^{T - {16}}\right)}{{x}^{{\frac{T}{{16}}}} - {1}}}$$
## [40] next_pc $${\frac{\left({1} - \left({1} - \left({f_{0}\left(x\right)} + {f_{0}\left(xg^{2}\right)} + {f_{0}\left(xg^{4}\right)}\right)\right)\right) \cdot \left({f_{3}\left(xg^{19}\right)} - \left({f_{3}\left(xg^{3}\right)} + {1}\right)\right) \cdot \left(x - {g}^{T - {16}}\right)}{{x}^{{\frac{T}{{16}}}} - {1}}}$$
## [41] next_rbp $${\frac{\left({f_{3}\left(xg^{9}\right)} - {f_{3}\left(xg^{17}\right)}\right) \cdot \left({f_{4}\left(xg^{17}\right)} - {f_{4}\left(xg\right)}\right) \cdot \left(x - {g}^{T - {16}}\right)}{{x}^{{\frac{T}{{16}}}} - {1}}}$$
## [42] next_rbp vadd3 $${\frac{{f_{0}\left(xg^{4}\right)} \cdot \left({f_{4}\left(xg^{17}\right)} - {f_{4}\left(xg\right)}\right) \cdot \left(x - {g}^{T - {16}}\right)}{{x}^{{\frac{T}{{16}}}} - {1}}}$$
## [43] lo_lo16 $${\frac{{f_{0}\left(xg^{12}\right)} \cdot \left({f_{4}\left(xg^{12}\right)} - {f_{1}\left(xg^{12}\right)}\right)}{{x}^{{\frac{T}{{16}}}} - {1}}}$$
## [44] lo_hi16 $${\frac{{f_{0}\left(xg^{12}\right)} \cdot \left({f_{4}\left(xg^{13}\right)} - {f_{1}\left(xg^{13}\right)}\right)}{{x}^{{\frac{T}{{16}}}} - {1}}}$$
## [45] hi_lo16 $${\frac{{f_{0}\left(xg^{12}\right)} \cdot \left({f_{4}\left(xg^{14}\right)} - {f_{1}\left(xg^{14}\right)}\right)}{{x}^{{\frac{T}{{16}}}} - {1}}}$$
## [46] hi_hi16 $${\frac{{f_{0}\left(xg^{12}\right)} \cdot \left({f_{4}\left(xg^{15}\right)} - {f_{1}\left(xg^{15}\right)}\right)}{{x}^{{\frac{T}{{16}}}} - {1}}}$$
## [47] op3_64 $${\frac{{f_{0}\left(xg^{10}\right)} \cdot \left({f_{4}\left(xg^{11}\right)} - \left({f_{1}\left(xg^{15}\right)} \cdot 2^{64}+{f_{1}\left(xg^{14}\right)} \cdot 2^{48}+{f_{1}\left(xg^{13}\right)} \cdot 2^{32}+{f_{1}\left(xg^{12}\right)} \cdot 2^{16}\right)\right)}{{x}^{{\frac{T}{{16}}}} - {1}}}$$
## [48] mem_perm_init $${\frac{{z_\mathrm{mem}} - \left({f_{3}\left(x\right)} + {\alpha_\mathrm{mem}} \cdot {f_{4}\left(x\right)}\right) - {f_{23}\left(x\right)} \cdot \left({z_\mathrm{mem}} - \left({f_{5}\left(x\right)} + {\alpha_\mathrm{mem}} \cdot {f_{6}\left(x\right)}\right)\right)}{{x}^{{\frac{T}{T}}} - {1}}}$$
## [49] mem_perm_final $${\frac{{f_{27}\left(xg^{(1/1)T + -2}\right)} - \mathrm{mem\_pub\_final}}{{x}^{{\frac{T}{T}}} - {1}}}$$
## [50] mem_addr_min $${\frac{{f_{5}\left(x\right)} - \mathrm{mem\_addr.min}}{{x}^{{\frac{T}{T}}} - {1}}}$$
## [51] mem_addr_max $${\frac{{f_{19}\left(xg^{(1/1)T + -2}\right)} - \mathrm{mem\_addr.max}}{{x}^{{\frac{T}{T}}} - {1}}}$$
## [52] rc16_perm_init $${\frac{{z_\mathrm{rc16}} - {f_{1}\left(x\right)} - {f_{24}\left(x\right)} \cdot \left({z_\mathrm{rc16}} - {f_{2}\left(x\right)}\right)}{{x}^{{\frac{T}{T}}} - {1}}}$$
## [53] rc16_perm_step $${\frac{\left({f_{24}\left(x\right)} \cdot \left({z_\mathrm{rc16}} - {f_{1}\left(xg\right)}\right) - {f_{24}\left(xg\right)} \cdot \left({z_\mathrm{rc16}} - {f_{2}\left(xg\right)}\right)\right) \cdot \left(x - {g}^{T - {1}}\right)}{{x}^{{\frac{T}{{1}}}} - {1}}}$$
## [54] rc16_perm_final $${\frac{{f_{24}\left(x\right)} - {1}}{{x}^{{\frac{T}{T}}} - {g}^{T - {1}}}}$$
## [55] rc16_min $${\frac{{f_{2}\left(x\right)} - \mathrm{rc16.min}}{{x}^{{\frac{T}{T}}} - {1}}}$$
## [56] rc16_max $${\frac{{f_{2}\left(x\right)} - \mathrm{rc16.max}}{{x}^{{\frac{T}{T}}} - {g}^{T - {1}}}}$$
## [57] s_rc16 is diff-continuous $${\frac{\left({f_{2}\left(xg\right)} - {f_{2}\left(x\right)}\right) \cdot \left({f_{2}\left(xg\right)} - {f_{2}\left(x\right)} - {f_{21}\left(x\right)}\right) \cdot \left(x - {g}^{T - {1}}\right)}{{x}^{{\frac{T}{{1}}}} - {1}}}$$
## [58] s_rc16_diff is 2-continuous $${\frac{\left({f_{22}\left(xg\right)} - {f_{22}\left(x\right)}\right) \cdot \left({f_{22}\left(xg\right)} - {2} \cdot {f_{22}\left(x\right)}\right) \cdot \left(x - {g}^{T - {1}}\right)}{{x}^{{\frac{T}{{1}}}} - {1}}}$$
## [59] rc16_diff_perm_init $${\frac{{z_{\delta\mathrm{rc16}}} - {f_{21}\left(x\right)} - {f_{28}\left(x\right)} \cdot \left({z_{\delta\mathrm{rc16}}} - {f_{22}\left(x\right)}\right)}{{x}^{{\frac{T}{T}}} - {1}}}$$
## [60] rc16_diff_perm_step $${\frac{\left({f_{28}\left(x\right)} \cdot \left({z_{\delta\mathrm{rc16}}} - {f_{21}\left(xg\right)}\right) - {f_{28}\left(xg\right)} \cdot \left({z_{\delta\mathrm{rc16}}} - {f_{22}\left(xg\right)}\right)\right) \cdot \left(x - {g}^{T - {1}}\right)}{{x}^{{\frac{T}{{1}}}} - {1}}}$$
## [61] rc16_diff_perm_final $${\frac{{f_{28}\left(x\right)} - {1}}{{x}^{{\frac{T}{T}}} - {g}^{T - {1}}}}$$
## [62] rc16_diff_min $${\frac{{f_{22}\left(x\right)} - \mathrm{rc16\_diff.min}}{{x}^{{\frac{T}{T}}} - {1}}}$$
## [63] rc16_diff_max $${\frac{{f_{22}\left(x\right)} - \mathrm{rc16\_diff.max}}{{x}^{{\frac{T}{T}}} - {g}^{T - {1}}}}$$
## [64] s_mem_addr is continuous at 0 $${\frac{\left({\left({f_{5}\left(xg\right)} - {f_{5}\left(x\right)}\right)}^{{2}} - \left({f_{5}\left(xg\right)} - {f_{5}\left(x\right)}\right)\right) \cdot \left(x - {g}^{T - {1}}\right)}{{x}^{{\frac{T}{{1}}}} - {1}}}$$
## [65] (s_mem_addr, s_mem_val) is a function at 0 $${\frac{\left({f_{5}\left(xg\right)} - {f_{5}\left(x\right)} - {1}\right) \cdot \left({f_{6}\left(xg\right)} - {f_{6}\left(x\right)}\right) \cdot \left(x - {g}^{T - {1}}\right)}{{x}^{{\frac{T}{{1}}}} - {1}}}$$
## [66] mem_perm_step at 0 $${\frac{\left({f_{23}\left(x\right)} \cdot \left({z_\mathrm{mem}} - \left({f_{3}\left(xg\right)} + {\alpha_\mathrm{mem}} \cdot {f_{4}\left(xg\right)}\right)\right) - {f_{23}\left(xg\right)} \cdot \left({z_\mathrm{mem}} - \left({f_{5}\left(xg\right)} + {\alpha_\mathrm{mem}} \cdot {f_{6}\left(xg\right)}\right)\right)\right) \cdot \left(x - {g}^{T - {1}}\right)}{{x}^{{\frac{T}{{1}}}} - {1}}}$$
## [67] s_mem_addr is continuous at (1/1)T + -1 $${\frac{{\left({f_{13}\left(xg^{4}\right)} - {f_{5}\left(xg^{(1/1)T + -1}\right)}\right)}^{{2}} - \left({f_{13}\left(xg^{4}\right)} - {f_{5}\left(xg^{(1/1)T + -1}\right)}\right)}{{x}^{{\frac{T}{T}}} - {1}}}$$
## [68] (s_mem_addr, s_mem_val) is a function at (1/1)T + -1 $${\frac{\left({f_{13}\left(xg^{4}\right)} - {f_{5}\left(xg^{(1/1)T + -1}\right)} - {1}\right) \cdot \left({f_{13}\left(xg^{12}\right)} - {f_{6}\left(xg^{(1/1)T + -1}\right)}\right)}{{x}^{{\frac{T}{T}}} - {1}}}$$
## [69] mem_perm_step at (1/1)T + -1 $${\frac{{f_{23}\left(xg^{(1/1)T + -1}\right)} \cdot \left({z_\mathrm{mem}} - \left({f_{11}\left(xg^{116}\right)} + {\alpha_\mathrm{mem}} \cdot {f_{11}\left(xg^{108}\right)}\right)\right) - {f_{25}\left(xg^{4}\right)} \cdot \left({z_\mathrm{mem}} - \left({f_{13}\left(xg^{4}\right)} + {\alpha_\mathrm{mem}} \cdot {f_{13}\left(xg^{12}\right)}\right)\right)}{{x}^{{\frac{T}{T}}} - {1}}}$$
## [70] s_mem_addr is continuous at (1/1)T + 0 $${\frac{{\left({f_{13}\left(xg^{20}\right)} - {f_{13}\left(xg^{4}\right)}\right)}^{{2}} - \left({f_{13}\left(xg^{20}\right)} - {f_{13}\left(xg^{4}\right)}\right)}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [71] (s_mem_addr, s_mem_val) is a function at (1/1)T + 0 $${\frac{\left({f_{13}\left(xg^{20}\right)} - {f_{13}\left(xg^{4}\right)} - {1}\right) \cdot \left({f_{13}\left(xg^{28}\right)} - {f_{13}\left(xg^{12}\right)}\right)}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [72] mem_perm_step at (1/1)T + 0 $${\frac{{f_{25}\left(xg^{4}\right)} \cdot \left({z_\mathrm{mem}} - \left({f_{12}\left(xg^{116}\right)} + {\alpha_\mathrm{mem}} \cdot {f_{12}\left(xg^{108}\right)}\right)\right) - {f_{25}\left(xg^{20}\right)} \cdot \left({z_\mathrm{mem}} - \left({f_{13}\left(xg^{20}\right)} + {\alpha_\mathrm{mem}} \cdot {f_{13}\left(xg^{28}\right)}\right)\right)}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [73] s_mem_addr is continuous at (1/1)T + 1 $${\frac{{\left({f_{13}\left(xg^{36}\right)} - {f_{13}\left(xg^{20}\right)}\right)}^{{2}} - \left({f_{13}\left(xg^{36}\right)} - {f_{13}\left(xg^{20}\right)}\right)}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [74] (s_mem_addr, s_mem_val) is a function at (1/1)T + 1 $${\frac{\left({f_{13}\left(xg^{36}\right)} - {f_{13}\left(xg^{20}\right)} - {1}\right) \cdot \left({f_{13}\left(xg^{44}\right)} - {f_{13}\left(xg^{28}\right)}\right)}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [75] mem_perm_step at (1/1)T + 1 $${\frac{{f_{25}\left(xg^{20}\right)} \cdot \left({z_\mathrm{mem}} - \left({f_{13}\left(xg^{116}\right)} + {\alpha_\mathrm{mem}} \cdot {f_{13}\left(xg^{108}\right)}\right)\right) - {f_{25}\left(xg^{36}\right)} \cdot \left({z_\mathrm{mem}} - \left({f_{13}\left(xg^{36}\right)} + {\alpha_\mathrm{mem}} \cdot {f_{13}\left(xg^{44}\right)}\right)\right)}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [76] s_mem_addr is continuous at (1/1)T + 2 $${\frac{{\left({f_{13}\left(xg^{52}\right)} - {f_{13}\left(xg^{36}\right)}\right)}^{{2}} - \left({f_{13}\left(xg^{52}\right)} - {f_{13}\left(xg^{36}\right)}\right)}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [77] (s_mem_addr, s_mem_val) is a function at (1/1)T + 2 $${\frac{\left({f_{13}\left(xg^{52}\right)} - {f_{13}\left(xg^{36}\right)} - {1}\right) \cdot \left({f_{13}\left(xg^{60}\right)} - {f_{13}\left(xg^{44}\right)}\right)}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [78] mem_perm_step at (1/1)T + 2 $${\frac{{f_{25}\left(xg^{36}\right)} \cdot \left({z_\mathrm{mem}} - \left({f_{11}\left(xg^{124}\right)} + {\alpha_\mathrm{mem}} \cdot {f_{11}\left(xg^{72}\right)}\right)\right) - {f_{25}\left(xg^{52}\right)} \cdot \left({z_\mathrm{mem}} - \left({f_{13}\left(xg^{52}\right)} + {\alpha_\mathrm{mem}} \cdot {f_{13}\left(xg^{60}\right)}\right)\right)}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [79] s_mem_addr is continuous at (1/1)T + 3 $${\frac{{\left({f_{13}\left(xg^{68}\right)} - {f_{13}\left(xg^{52}\right)}\right)}^{{2}} - \left({f_{13}\left(xg^{68}\right)} - {f_{13}\left(xg^{52}\right)}\right)}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [80] (s_mem_addr, s_mem_val) is a function at (1/1)T + 3 $${\frac{\left({f_{13}\left(xg^{68}\right)} - {f_{13}\left(xg^{52}\right)} - {1}\right) \cdot \left({f_{13}\left(xg^{76}\right)} - {f_{13}\left(xg^{60}\right)}\right)}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [81] mem_perm_step at (1/1)T + 3 $${\frac{{f_{25}\left(xg^{52}\right)} \cdot \left({z_\mathrm{mem}} - \left({f_{12}\left(xg^{124}\right)} + {\alpha_\mathrm{mem}} \cdot {f_{12}\left(xg^{72}\right)}\right)\right) - {f_{25}\left(xg^{68}\right)} \cdot \left({z_\mathrm{mem}} - \left({f_{13}\left(xg^{68}\right)} + {\alpha_\mathrm{mem}} \cdot {f_{13}\left(xg^{76}\right)}\right)\right)}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [82] s_mem_addr is continuous at (1/1)T + 4 $${\frac{{\left({f_{13}\left(xg^{84}\right)} - {f_{13}\left(xg^{68}\right)}\right)}^{{2}} - \left({f_{13}\left(xg^{84}\right)} - {f_{13}\left(xg^{68}\right)}\right)}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [83] (s_mem_addr, s_mem_val) is a function at (1/1)T + 4 $${\frac{\left({f_{13}\left(xg^{84}\right)} - {f_{13}\left(xg^{68}\right)} - {1}\right) \cdot \left({f_{13}\left(xg^{92}\right)} - {f_{13}\left(xg^{76}\right)}\right)}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [84] mem_perm_step at (1/1)T + 4 $${\frac{{f_{25}\left(xg^{68}\right)} \cdot \left({z_\mathrm{mem}} - \left({f_{13}\left(xg^{124}\right)} + {\alpha_\mathrm{mem}} \cdot {f_{13}\left(xg^{72}\right)}\right)\right) - {f_{25}\left(xg^{84}\right)} \cdot \left({z_\mathrm{mem}} - \left({f_{13}\left(xg^{84}\right)} + {\alpha_\mathrm{mem}} \cdot {f_{13}\left(xg^{92}\right)}\right)\right)}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [85] s_mem_addr is continuous at (1/1)T + 5 $${\frac{\left({\left({f_{13}\left(xg^{132}\right)} - {f_{13}\left(xg^{84}\right)}\right)}^{{2}} - \left({f_{13}\left(xg^{132}\right)} - {f_{13}\left(xg^{84}\right)}\right)\right) \cdot \left(x - {g}^{T - {128}}\right)}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [86] (s_mem_addr, s_mem_val) is a function at (1/1)T + 5 $${\frac{\left({f_{13}\left(xg^{132}\right)} - {f_{13}\left(xg^{84}\right)} - {1}\right) \cdot \left({f_{13}\left(xg^{140}\right)} - {f_{13}\left(xg^{92}\right)}\right) \cdot \left(x - {g}^{T - {128}}\right)}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [87] mem_perm_step at (1/1)T + 5 $${\frac{\left({f_{25}\left(xg^{84}\right)} \cdot \left({z_\mathrm{mem}} - \left({f_{11}\left(xg^{244}\right)} + {\alpha_\mathrm{mem}} \cdot {f_{11}\left(xg^{236}\right)}\right)\right) - {f_{25}\left(xg^{132}\right)} \cdot \left({z_\mathrm{mem}} - \left({f_{13}\left(xg^{132}\right)} + {\alpha_\mathrm{mem}} \cdot {f_{13}\left(xg^{140}\right)}\right)\right)\right) \cdot \left(x - {g}^{T - {128}}\right)}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [88] s_mem_addr is continuous at (67/64)T + -1 $${\frac{{\left({f_{16}\left(xg^{4}\right)} - {f_{13}\left(xg^{(1/1)T + -44}\right)}\right)}^{{2}} - \left({f_{16}\left(xg^{4}\right)} - {f_{13}\left(xg^{(1/1)T + -44}\right)}\right)}{{x}^{{\frac{T}{T}}} - {1}}}$$
## [89] (s_mem_addr, s_mem_val) is a function at (67/64)T + -1 $${\frac{\left({f_{16}\left(xg^{4}\right)} - {f_{13}\left(xg^{(1/1)T + -44}\right)} - {1}\right) \cdot \left({f_{16}\left(xg^{12}\right)} - {f_{13}\left(xg^{(1/1)T + -36}\right)}\right)}{{x}^{{\frac{T}{T}}} - {1}}}$$
## [90] mem_perm_step at (67/64)T + -1 $${\frac{{f_{25}\left(xg^{(1/1)T + -44}\right)} \cdot \left({z_\mathrm{mem}} - \left({f_{14}\left(xg^{116}\right)} + {\alpha_\mathrm{mem}} \cdot {f_{14}\left(xg^{108}\right)}\right)\right) - {f_{26}\left(xg^{4}\right)} \cdot \left({z_\mathrm{mem}} - \left({f_{16}\left(xg^{4}\right)} + {\alpha_\mathrm{mem}} \cdot {f_{16}\left(xg^{12}\right)}\right)\right)}{{x}^{{\frac{T}{T}}} - {1}}}$$
## [91] s_mem_addr is continuous at (67/64)T + 0 $${\frac{{\left({f_{16}\left(xg^{20}\right)} - {f_{16}\left(xg^{4}\right)}\right)}^{{2}} - \left({f_{16}\left(xg^{20}\right)} - {f_{16}\left(xg^{4}\right)}\right)}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [92] (s_mem_addr, s_mem_val) is a function at (67/64)T + 0 $${\frac{\left({f_{16}\left(xg^{20}\right)} - {f_{16}\left(xg^{4}\right)} - {1}\right) \cdot \left({f_{16}\left(xg^{28}\right)} - {f_{16}\left(xg^{12}\right)}\right)}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [93] mem_perm_step at (67/64)T + 0 $${\frac{{f_{26}\left(xg^{4}\right)} \cdot \left({z_\mathrm{mem}} - \left({f_{15}\left(xg^{116}\right)} + {\alpha_\mathrm{mem}} \cdot {f_{15}\left(xg^{108}\right)}\right)\right) - {f_{26}\left(xg^{20}\right)} \cdot \left({z_\mathrm{mem}} - \left({f_{16}\left(xg^{20}\right)} + {\alpha_\mathrm{mem}} \cdot {f_{16}\left(xg^{28}\right)}\right)\right)}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [94] s_mem_addr is continuous at (67/64)T + 1 $${\frac{{\left({f_{16}\left(xg^{36}\right)} - {f_{16}\left(xg^{20}\right)}\right)}^{{2}} - \left({f_{16}\left(xg^{36}\right)} - {f_{16}\left(xg^{20}\right)}\right)}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [95] (s_mem_addr, s_mem_val) is a function at (67/64)T + 1 $${\frac{\left({f_{16}\left(xg^{36}\right)} - {f_{16}\left(xg^{20}\right)} - {1}\right) \cdot \left({f_{16}\left(xg^{44}\right)} - {f_{16}\left(xg^{28}\right)}\right)}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [96] mem_perm_step at (67/64)T + 1 $${\frac{{f_{26}\left(xg^{20}\right)} \cdot \left({z_\mathrm{mem}} - \left({f_{16}\left(xg^{116}\right)} + {\alpha_\mathrm{mem}} \cdot {f_{16}\left(xg^{108}\right)}\right)\right) - {f_{26}\left(xg^{36}\right)} \cdot \left({z_\mathrm{mem}} - \left({f_{16}\left(xg^{36}\right)} + {\alpha_\mathrm{mem}} \cdot {f_{16}\left(xg^{44}\right)}\right)\right)}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [97] s_mem_addr is continuous at (67/64)T + 2 $${\frac{{\left({f_{16}\left(xg^{52}\right)} - {f_{16}\left(xg^{36}\right)}\right)}^{{2}} - \left({f_{16}\left(xg^{52}\right)} - {f_{16}\left(xg^{36}\right)}\right)}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [98] (s_mem_addr, s_mem_val) is a function at (67/64)T + 2 $${\frac{\left({f_{16}\left(xg^{52}\right)} - {f_{16}\left(xg^{36}\right)} - {1}\right) \cdot \left({f_{16}\left(xg^{60}\right)} - {f_{16}\left(xg^{44}\right)}\right)}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [99] mem_perm_step at (67/64)T + 2 $${\frac{{f_{26}\left(xg^{36}\right)} \cdot \left({z_\mathrm{mem}} - \left({f_{14}\left(xg^{124}\right)} + {\alpha_\mathrm{mem}} \cdot {f_{14}\left(xg^{72}\right)}\right)\right) - {f_{26}\left(xg^{52}\right)} \cdot \left({z_\mathrm{mem}} - \left({f_{16}\left(xg^{52}\right)} + {\alpha_\mathrm{mem}} \cdot {f_{16}\left(xg^{60}\right)}\right)\right)}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [100] s_mem_addr is continuous at (67/64)T + 3 $${\frac{{\left({f_{16}\left(xg^{68}\right)} - {f_{16}\left(xg^{52}\right)}\right)}^{{2}} - \left({f_{16}\left(xg^{68}\right)} - {f_{16}\left(xg^{52}\right)}\right)}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [101] (s_mem_addr, s_mem_val) is a function at (67/64)T + 3 $${\frac{\left({f_{16}\left(xg^{68}\right)} - {f_{16}\left(xg^{52}\right)} - {1}\right) \cdot \left({f_{16}\left(xg^{76}\right)} - {f_{16}\left(xg^{60}\right)}\right)}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [102] mem_perm_step at (67/64)T + 3 $${\frac{{f_{26}\left(xg^{52}\right)} \cdot \left({z_\mathrm{mem}} - \left({f_{15}\left(xg^{124}\right)} + {\alpha_\mathrm{mem}} \cdot {f_{15}\left(xg^{72}\right)}\right)\right) - {f_{26}\left(xg^{68}\right)} \cdot \left({z_\mathrm{mem}} - \left({f_{16}\left(xg^{68}\right)} + {\alpha_\mathrm{mem}} \cdot {f_{16}\left(xg^{76}\right)}\right)\right)}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [103] s_mem_addr is continuous at (67/64)T + 4 $${\frac{{\left({f_{16}\left(xg^{84}\right)} - {f_{16}\left(xg^{68}\right)}\right)}^{{2}} - \left({f_{16}\left(xg^{84}\right)} - {f_{16}\left(xg^{68}\right)}\right)}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [104] (s_mem_addr, s_mem_val) is a function at (67/64)T + 4 $${\frac{\left({f_{16}\left(xg^{84}\right)} - {f_{16}\left(xg^{68}\right)} - {1}\right) \cdot \left({f_{16}\left(xg^{92}\right)} - {f_{16}\left(xg^{76}\right)}\right)}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [105] mem_perm_step at (67/64)T + 4 $${\frac{{f_{26}\left(xg^{68}\right)} \cdot \left({z_\mathrm{mem}} - \left({f_{16}\left(xg^{124}\right)} + {\alpha_\mathrm{mem}} \cdot {f_{16}\left(xg^{72}\right)}\right)\right) - {f_{26}\left(xg^{84}\right)} \cdot \left({z_\mathrm{mem}} - \left({f_{16}\left(xg^{84}\right)} + {\alpha_\mathrm{mem}} \cdot {f_{16}\left(xg^{92}\right)}\right)\right)}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [106] s_mem_addr is continuous at (67/64)T + 5 $${\frac{\left({\left({f_{16}\left(xg^{132}\right)} - {f_{16}\left(xg^{84}\right)}\right)}^{{2}} - \left({f_{16}\left(xg^{132}\right)} - {f_{16}\left(xg^{84}\right)}\right)\right) \cdot \left(x - {g}^{T - {128}}\right)}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [107] (s_mem_addr, s_mem_val) is a function at (67/64)T + 5 $${\frac{\left({f_{16}\left(xg^{132}\right)} - {f_{16}\left(xg^{84}\right)} - {1}\right) \cdot \left({f_{16}\left(xg^{140}\right)} - {f_{16}\left(xg^{92}\right)}\right) \cdot \left(x - {g}^{T - {128}}\right)}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [108] mem_perm_step at (67/64)T + 5 $${\frac{\left({f_{26}\left(xg^{84}\right)} \cdot \left({z_\mathrm{mem}} - \left({f_{14}\left(xg^{244}\right)} + {\alpha_\mathrm{mem}} \cdot {f_{14}\left(xg^{236}\right)}\right)\right) - {f_{26}\left(xg^{132}\right)} \cdot \left({z_\mathrm{mem}} - \left({f_{16}\left(xg^{132}\right)} + {\alpha_\mathrm{mem}} \cdot {f_{16}\left(xg^{140}\right)}\right)\right)\right) \cdot \left(x - {g}^{T - {128}}\right)}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [109] s_mem_addr is continuous at (35/32)T + -1 $${\frac{{\left({f_{20}\left(xg^{11}\right)} - {f_{16}\left(xg^{(1/1)T + -44}\right)}\right)}^{{2}} - \left({f_{20}\left(xg^{11}\right)} - {f_{16}\left(xg^{(1/1)T + -44}\right)}\right)}{{x}^{{\frac{T}{T}}} - {1}}}$$
## [110] (s_mem_addr, s_mem_val) is a function at (35/32)T + -1 $${\frac{\left({f_{20}\left(xg^{11}\right)} - {f_{16}\left(xg^{(1/1)T + -44}\right)} - {1}\right) \cdot \left({f_{20}\left(xg^{15}\right)} - {f_{16}\left(xg^{(1/1)T + -36}\right)}\right)}{{x}^{{\frac{T}{T}}} - {1}}}$$
## [111] mem_perm_step at (35/32)T + -1 $${\frac{{f_{26}\left(xg^{(1/1)T + -44}\right)} \cdot \left({z_\mathrm{mem}} - \left({f_{20}\left(xg^{3}\right)} + {\alpha_\mathrm{mem}} \cdot {f_{20}\left(xg^{7}\right)}\right)\right) - {f_{27}\left(xg^{3}\right)} \cdot \left({z_\mathrm{mem}} - \left({f_{20}\left(xg^{11}\right)} + {\alpha_\mathrm{mem}} \cdot {f_{20}\left(xg^{15}\right)}\right)\right)}{{x}^{{\frac{T}{T}}} - {1}}}$$
## [112] s_mem_addr is continuous at (35/32)T + 0 $${\frac{{\left({f_{20}\left(xg^{27}\right)} - {f_{20}\left(xg^{11}\right)}\right)}^{{2}} - \left({f_{20}\left(xg^{27}\right)} - {f_{20}\left(xg^{11}\right)}\right)}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [113] (s_mem_addr, s_mem_val) is a function at (35/32)T + 0 $${\frac{\left({f_{20}\left(xg^{27}\right)} - {f_{20}\left(xg^{11}\right)} - {1}\right) \cdot \left({f_{20}\left(xg^{31}\right)} - {f_{20}\left(xg^{15}\right)}\right)}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [114] mem_perm_step at (35/32)T + 0 $${\frac{{f_{27}\left(xg^{3}\right)} \cdot \left({z_\mathrm{mem}} - \left({f_{20}\left(xg^{19}\right)} + {\alpha_\mathrm{mem}} \cdot {f_{20}\left(xg^{23}\right)}\right)\right) - {f_{27}\left(xg^{7}\right)} \cdot \left({z_\mathrm{mem}} - \left({f_{20}\left(xg^{27}\right)} + {\alpha_\mathrm{mem}} \cdot {f_{20}\left(xg^{31}\right)}\right)\right)}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [115] s_mem_addr is continuous at (35/32)T + 1 $${\frac{{\left({f_{20}\left(xg^{43}\right)} - {f_{20}\left(xg^{27}\right)}\right)}^{{2}} - \left({f_{20}\left(xg^{43}\right)} - {f_{20}\left(xg^{27}\right)}\right)}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [116] (s_mem_addr, s_mem_val) is a function at (35/32)T + 1 $${\frac{\left({f_{20}\left(xg^{43}\right)} - {f_{20}\left(xg^{27}\right)} - {1}\right) \cdot \left({f_{20}\left(xg^{47}\right)} - {f_{20}\left(xg^{31}\right)}\right)}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [117] mem_perm_step at (35/32)T + 1 $${\frac{{f_{27}\left(xg^{7}\right)} \cdot \left({z_\mathrm{mem}} - \left({f_{20}\left(xg^{35}\right)} + {\alpha_\mathrm{mem}} \cdot {f_{20}\left(xg^{39}\right)}\right)\right) - {f_{27}\left(xg^{11}\right)} \cdot \left({z_\mathrm{mem}} - \left({f_{20}\left(xg^{43}\right)} + {\alpha_\mathrm{mem}} \cdot {f_{20}\left(xg^{47}\right)}\right)\right)}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [118] s_mem_addr is continuous at (35/32)T + 2 $${\frac{{\left({f_{19}\left(x\right)} - {f_{20}\left(xg^{43}\right)}\right)}^{{2}} - \left({f_{19}\left(x\right)} - {f_{20}\left(xg^{43}\right)}\right)}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [119] (s_mem_addr, s_mem_val) is a function at (35/32)T + 2 $${\frac{\left({f_{19}\left(x\right)} - {f_{20}\left(xg^{43}\right)} - {1}\right) \cdot \left({f_{20}\left(x\right)} - {f_{20}\left(xg^{47}\right)}\right)}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [120] mem_perm_step at (35/32)T + 2 $${\frac{{f_{27}\left(xg^{11}\right)} \cdot \left({z_\mathrm{mem}} - \left({f_{17}\left(x\right)} + {\alpha_\mathrm{mem}} \cdot {f_{18}\left(x\right)}\right)\right) - {f_{27}\left(x\right)} \cdot \left({z_\mathrm{mem}} - \left({f_{19}\left(x\right)} + {\alpha_\mathrm{mem}} \cdot {f_{20}\left(x\right)}\right)\right)}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [121] s_mem_addr is continuous at (35/32)T + $${\frac{\left({\left({f_{19}\left(xg\right)} - {f_{19}\left(x\right)}\right)}^{{2}} - \left({f_{19}\left(xg\right)} - {f_{19}\left(x\right)}\right)\right) \cdot {1} \cdot \left({x}^{{\frac{T}{{4}}}} - {g}^{{\frac{{2} \cdot T}{{4}}}}\right) \cdot \left({x}^{{\frac{T}{{4}}}} - {g}^{{\frac{{3} \cdot T}{{4}}}}\right)}{{x}^{{\frac{T}{{1}}}} - {1}}}$$
## [122] (s_mem_addr, s_mem_val) is a function at (35/32)T + $${\frac{\left({f_{19}\left(xg\right)} - {f_{19}\left(x\right)} - {1}\right) \cdot \left({f_{20}\left(xg\right)} - {f_{20}\left(x\right)}\right) \cdot {1} \cdot \left({x}^{{\frac{T}{{4}}}} - {g}^{{\frac{{2} \cdot T}{{4}}}}\right) \cdot \left({x}^{{\frac{T}{{4}}}} - {g}^{{\frac{{3} \cdot T}{{4}}}}\right)}{{x}^{{\frac{T}{{1}}}} - {1}}}$$
## [123] mem_perm_step at (35/32)T + $${\frac{\left({f_{27}\left(x\right)} \cdot \left({z_\mathrm{mem}} - \left({f_{17}\left(xg\right)} + {\alpha_\mathrm{mem}} \cdot {f_{18}\left(xg\right)}\right)\right) - {f_{27}\left(xg\right)} \cdot \left({z_\mathrm{mem}} - \left({f_{19}\left(xg\right)} + {\alpha_\mathrm{mem}} \cdot {f_{20}\left(xg\right)}\right)\right)\right) \cdot {1} \cdot \left({x}^{{\frac{T}{{4}}}} - {g}^{{\frac{{2} \cdot T}{{4}}}}\right) \cdot \left({x}^{{\frac{T}{{4}}}} - {g}^{{\frac{{3} \cdot T}{{4}}}}\right)}{{x}^{{\frac{T}{{1}}}} - {1}}}$$
## [124] s_mem_addr is continuous at (35/32)T + $${\frac{\left({\left({f_{19}\left(xg^{4}\right)} - {f_{19}\left(xg^{2}\right)}\right)}^{{2}} - \left({f_{19}\left(xg^{4}\right)} - {f_{19}\left(xg^{2}\right)}\right)\right) \cdot {1} \cdot \left({x}^{{\frac{T}{{128}}}} - {g}^{{\frac{{124} \cdot T}{{128}}}}\right)}{{x}^{{\frac{T}{{4}}}} - {1}}}$$
## [125] (s_mem_addr, s_mem_val) is a function at (35/32)T + $${\frac{\left({f_{19}\left(xg^{4}\right)} - {f_{19}\left(xg^{2}\right)} - {1}\right) \cdot \left({f_{20}\left(xg^{4}\right)} - {f_{20}\left(xg^{2}\right)}\right) \cdot {1} \cdot \left({x}^{{\frac{T}{{128}}}} - {g}^{{\frac{{124} \cdot T}{{128}}}}\right)}{{x}^{{\frac{T}{{4}}}} - {1}}}$$
## [126] mem_perm_step at (35/32)T + $${\frac{\left({f_{27}\left(xg^{2}\right)} \cdot \left({z_\mathrm{mem}} - \left({f_{17}\left(xg^{4}\right)} + {\alpha_\mathrm{mem}} \cdot {f_{18}\left(xg^{4}\right)}\right)\right) - {f_{27}\left(xg^{4}\right)} \cdot \left({z_\mathrm{mem}} - \left({f_{19}\left(xg^{4}\right)} + {\alpha_\mathrm{mem}} \cdot {f_{20}\left(xg^{4}\right)}\right)\right)\right) \cdot {1} \cdot \left({x}^{{\frac{T}{{128}}}} - {g}^{{\frac{{124} \cdot T}{{128}}}}\right)}{{x}^{{\frac{T}{{4}}}} - {1}}}$$
## [127] s_mem_addr is continuous at (35/32)T + 98 $${\frac{\left({\left({f_{20}\left(xg^{139}\right)} - {f_{19}\left(xg^{126}\right)}\right)}^{{2}} - \left({f_{20}\left(xg^{139}\right)} - {f_{19}\left(xg^{126}\right)}\right)\right) \cdot \left(x - {g}^{T - {128}}\right)}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [128] (s_mem_addr, s_mem_val) is a function at (35/32)T + 98 $${\frac{\left({f_{20}\left(xg^{139}\right)} - {f_{19}\left(xg^{126}\right)} - {1}\right) \cdot \left({f_{20}\left(xg^{143}\right)} - {f_{20}\left(xg^{126}\right)}\right) \cdot \left(x - {g}^{T - {128}}\right)}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [129] mem_perm_step at (35/32)T + 98 $${\frac{\left({f_{27}\left(xg^{126}\right)} \cdot \left({z_\mathrm{mem}} - \left({f_{20}\left(xg^{131}\right)} + {\alpha_\mathrm{mem}} \cdot {f_{20}\left(xg^{135}\right)}\right)\right) - {f_{27}\left(xg^{131}\right)} \cdot \left({z_\mathrm{mem}} - \left({f_{20}\left(xg^{139}\right)} + {\alpha_\mathrm{mem}} \cdot {f_{20}\left(xg^{143}\right)}\right)\right)\right) \cdot \left(x - {g}^{T - {128}}\right)}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [130] load_const first $${\frac{{f_{7}\left(x\right)} - {1}}{{x}^{{\frac{T}{T}}} - {1}}}$$
## [131] load_const can decrease by bit $${\frac{\left({\left({f_{7}\left(x\right)} - {f_{7}\left(xg\right)}\right)}^{{2}} - \left({f_{7}\left(x\right)} - {f_{7}\left(xg\right)}\right)\right) \cdot \left(x - {g}^{T - {1}}\right)}{{x}^{{\frac{T}{{1}}}} - {1}}}$$
## [132] load_const last $${\frac{{f_{7}\left(xg^{127}\right)} - {1}}{{x}^{{\frac{T}{T}}} - {1}}}$$
## [133] load_const addresses strictly increasing $${\frac{{f_{5}\left(xg^{383}\right)} - {f_{5}\left(x\right)} - {383}}{{x}^{{\frac{T}{T}}} - {1}}}$$
## [134] r1 init $${\frac{{f_{7}\left(x\right)} \cdot \left({f_{8}\left(x\right)} - {f_{6}\left(x\right)}\right)}{{x}^{{\frac{T}{{1}}}} - {1}}}$$
## [135] r2 init $${\frac{{f_{7}\left(x\right)} \cdot \left({f_{9}\left(x\right)} - {f_{6}\left(xg^{128}\right)}\right)}{{x}^{{\frac{T}{{1}}}} - {1}}}$$
## [136] r3 init $${\frac{{f_{7}\left(x\right)} \cdot \left({f_{10}\left(x\right)} - {f_{6}\left(xg^{256}\right)}\right)}{{x}^{{\frac{T}{{1}}}} - {1}}}$$
## [137] r1 is periodic $${\frac{\left({f_{8}\left(xg^{128}\right)} - {f_{8}\left(x\right)}\right) \cdot \left(x - {g}^{T - {128}}\right)}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [138] r2 is periodic $${\frac{\left({f_{9}\left(xg^{128}\right)} - {f_{9}\left(x\right)}\right) \cdot \left(x - {g}^{T - {128}}\right)}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [139] r3 is periodic $${\frac{\left({f_{10}\left(xg^{128}\right)} - {f_{10}\left(x\right)}\right) \cdot \left(x - {g}^{T - {128}}\right)}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [140] hash1-hash_start $${\frac{{f_{11}\left(xg^{116}\right)} - \left(\mathrm{hash\_start} + 0 \cdot {6} \cdot {\frac{T}{{128}}}\right)}{{x}^{{\frac{T}{T}}} - {1}}}$$
## [141] hash1-in2_addr = in1_addr + 1 $${\frac{{f_{12}\left(xg^{116}\right)} - {f_{11}\left(xg^{116}\right)} - {1}}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [142] hash1-in3_addr = in2_addr + 1 $${\frac{{f_{13}\left(xg^{116}\right)} - {f_{12}\left(xg^{116}\right)} - {1}}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [143] hash1-out1_addr = in3_addr + 1 $${\frac{{f_{11}\left(xg^{124}\right)} - {f_{13}\left(xg^{116}\right)} - {1}}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [144] hash1-out2_addr = out1_addr + 1 $${\frac{{f_{12}\left(xg^{124}\right)} - {f_{11}\left(xg^{124}\right)} - {1}}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [145] hash1-out3_addr = out2_addr + 1 $${\frac{{f_{13}\left(xg^{124}\right)} - {f_{12}\left(xg^{124}\right)} - {1}}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [146] hash1-next_in1_addr = out3_addr + 1 $${\frac{\left({f_{11}\left(xg^{244}\right)} - {f_{13}\left(xg^{124}\right)} - {1}\right) \cdot \left(x - {g}^{T - {128}}\right)}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [147] hash1-pre_round_1 $${\frac{{f_{11}\left(x\right)} - \left({f_{11}\left(xg^{108}\right)} \cdot {2} + {f_{12}\left(xg^{108}\right)} \cdot {1} + {f_{13}\left(xg^{108}\right)} \cdot {1}\right)}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [148] hash1-pre_round_2 $${\frac{{f_{12}\left(x\right)} - \left({f_{11}\left(xg^{108}\right)} \cdot {1} + {f_{12}\left(xg^{108}\right)} \cdot {2} + {f_{13}\left(xg^{108}\right)} \cdot {1}\right)}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [149] hash1-pre_round_3 $${\frac{{f_{13}\left(x\right)} - \left({f_{11}\left(xg^{108}\right)} \cdot {1} + {f_{12}\left(xg^{108}\right)} \cdot {1} + {f_{13}\left(xg^{108}\right)} \cdot {2}\right)}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [150] hash1-hash_full_1_sq $${\frac{\left({f_{25}\left(x\right)} - {\left({f_{11}\left(x\right)} + {f_{8}\left(x\right)}\right)}^{{2}}\right) \cdot \left({x}^{{\frac{T}{{128}}}} - {g}^{{\frac{{104} \cdot T}{{128}}}}\right) \cdot \left({x}^{{\frac{T}{{128}}}} - {g}^{{\frac{{112} \cdot T}{{128}}}}\right) \cdot \left({x}^{{\frac{T}{{128}}}} - {g}^{{\frac{{120} \cdot T}{{128}}}}\right)}{{x}^{{\frac{T}{{8}}}} - {1}}}$$
## [151] hash1-hash_full_2_sq $${\frac{\left({f_{11}\left(xg^{4}\right)} - {\left({f_{12}\left(x\right)} + {f_{9}\left(x\right)}\right)}^{{2}}\right) \cdot \left({x}^{{\frac{T}{{128}}}} - {g}^{{\frac{{104} \cdot T}{{128}}}}\right) \cdot \left({x}^{{\frac{T}{{128}}}} - {g}^{{\frac{{112} \cdot T}{{128}}}}\right) \cdot \left({x}^{{\frac{T}{{128}}}} - {g}^{{\frac{{120} \cdot T}{{128}}}}\right)}{{x}^{{\frac{T}{{8}}}} - {1}}}$$
## [152] hash1-hash_full_3_sq $${\frac{\left({f_{12}\left(xg^{4}\right)} - {\left({f_{13}\left(x\right)} + {f_{10}\left(x\right)}\right)}^{{2}}\right) \cdot \left({x}^{{\frac{T}{{128}}}} - {g}^{{\frac{{104} \cdot T}{{128}}}}\right) \cdot \left({x}^{{\frac{T}{{128}}}} - {g}^{{\frac{{112} \cdot T}{{128}}}}\right) \cdot \left({x}^{{\frac{T}{{128}}}} - {g}^{{\frac{{120} \cdot T}{{128}}}}\right)}{{x}^{{\frac{T}{{8}}}} - {1}}}$$
## [153] hash1-hash_full_next1 $${\frac{\left({f_{11}\left(xg^{16}\right)} - \left(\left({f_{11}\left(x\right)} + {f_{8}\left(x\right)}\right) \cdot {f_{25}\left(x\right)} \cdot {2} + \left({f_{12}\left(x\right)} + {f_{9}\left(x\right)}\right) \cdot {f_{11}\left(xg^{4}\right)} \cdot {1} + \left({f_{13}\left(x\right)} + {f_{10}\left(x\right)}\right) \cdot {f_{12}\left(xg^{4}\right)} \cdot {1}\right)\right) \cdot \left({x}^{{\frac{T}{{128}}}} - {g}^{{\frac{{104} \cdot T}{{128}}}}\right) \cdot \left({x}^{{\frac{T}{{128}}}} - {g}^{{\frac{{112} \cdot T}{{128}}}}\right) \cdot \left({x}^{{\frac{T}{{128}}}} - {g}^{{\frac{{120} \cdot T}{{128}}}}\right)}{{x}^{{\frac{T}{{8}}}} - {1}}}$$
## [154] hash1-hash_full_next2 $${\frac{\left({f_{12}\left(xg^{16}\right)} - \left(\left({f_{11}\left(x\right)} + {f_{8}\left(x\right)}\right) \cdot {f_{25}\left(x\right)} \cdot {1} + \left({f_{12}\left(x\right)} + {f_{9}\left(x\right)}\right) \cdot {f_{11}\left(xg^{4}\right)} \cdot {2} + \left({f_{13}\left(x\right)} + {f_{10}\left(x\right)}\right) \cdot {f_{12}\left(xg^{4}\right)} \cdot {1}\right)\right) \cdot \left({x}^{{\frac{T}{{128}}}} - {g}^{{\frac{{104} \cdot T}{{128}}}}\right) \cdot \left({x}^{{\frac{T}{{128}}}} - {g}^{{\frac{{112} \cdot T}{{128}}}}\right) \cdot \left({x}^{{\frac{T}{{128}}}} - {g}^{{\frac{{120} \cdot T}{{128}}}}\right)}{{x}^{{\frac{T}{{8}}}} - {1}}}$$
## [155] hash1-hash_full_next3 $${\frac{\left({f_{13}\left(xg^{16}\right)} - \left(\left({f_{11}\left(x\right)} + {f_{8}\left(x\right)}\right) \cdot {f_{25}\left(x\right)} \cdot {1} + \left({f_{12}\left(x\right)} + {f_{9}\left(x\right)}\right) \cdot {f_{11}\left(xg^{4}\right)} \cdot {1} + \left({f_{13}\left(x\right)} + {f_{10}\left(x\right)}\right) \cdot {f_{12}\left(xg^{4}\right)} \cdot {2}\right)\right) \cdot \left({x}^{{\frac{T}{{128}}}} - {g}^{{\frac{{104} \cdot T}{{128}}}}\right) \cdot \left({x}^{{\frac{T}{{128}}}} - {g}^{{\frac{{112} \cdot T}{{128}}}}\right) \cdot \left({x}^{{\frac{T}{{128}}}} - {g}^{{\frac{{120} \cdot T}{{128}}}}\right)}{{x}^{{\frac{T}{{8}}}} - {1}}}$$
## [156] hash1-hash_part_1_sq $${\frac{\left({f_{25}\left(x\right)} - {\left({f_{11}\left(x\right)} + {f_{8}\left(x\right)}\right)}^{{2}}\right) \cdot \left({x}^{{\frac{T}{{4}}}} - {1}\right)}{{x}^{{\frac{T}{{1}}}} - {1}}}$$
## [157] hash1-hash_part_next1-continuation $${\frac{\left({f_{11}\left(xg\right)} - \left(\left({f_{11}\left(x\right)} + {f_{8}\left(x\right)}\right) \cdot {f_{25}\left(x\right)} \cdot {2} + \left({f_{12}\left(x\right)} + {f_{9}\left(x\right)}\right) \cdot {1} + \left({f_{13}\left(x\right)} + {f_{10}\left(x\right)}\right) \cdot {1}\right)\right) \cdot \left({x}^{{\frac{T}{{4}}}} - {1}\right) \cdot \left({x}^{{\frac{T}{{4}}}} - {g}^{{\frac{{3} \cdot T}{{4}}}}\right)}{{x}^{{\frac{T}{{1}}}} - {1}}}$$
## [158] hash1-hash_part_next1-jump $${\frac{\left({f_{11}\left(xg^{2}\right)} - \left(\left({f_{11}\left(x\right)} + {f_{8}\left(x\right)}\right) \cdot {f_{25}\left(x\right)} \cdot {2} + \left({f_{12}\left(x\right)} + {f_{9}\left(x\right)}\right) \cdot {1} + \left({f_{13}\left(x\right)} + {f_{10}\left(x\right)}\right) \cdot {1}\right)\right) \cdot \left({x}^{{\frac{T}{{128}}}} - {g}^{{\frac{{127} \cdot T}{{128}}}}\right)}{{x}^{{\frac{T}{{4}}}} - {g}^{{\frac{{3} \cdot T}{{4}}}}}}$$
## [159] hash1-hash_part_next2-continuation $${\frac{\left({f_{12}\left(xg\right)} - \left(\left({f_{11}\left(x\right)} + {f_{8}\left(x\right)}\right) \cdot {f_{25}\left(x\right)} \cdot {1} + \left({f_{12}\left(x\right)} + {f_{9}\left(x\right)}\right) \cdot {2} + \left({f_{13}\left(x\right)} + {f_{10}\left(x\right)}\right) \cdot {1}\right)\right) \cdot \left({x}^{{\frac{T}{{4}}}} - {1}\right) \cdot \left({x}^{{\frac{T}{{4}}}} - {g}^{{\frac{{3} \cdot T}{{4}}}}\right)}{{x}^{{\frac{T}{{1}}}} - {1}}}$$
## [160] hash1-hash_part_next2-jump $${\frac{\left({f_{12}\left(xg^{2}\right)} - \left(\left({f_{11}\left(x\right)} + {f_{8}\left(x\right)}\right) \cdot {f_{25}\left(x\right)} \cdot {1} + \left({f_{12}\left(x\right)} + {f_{9}\left(x\right)}\right) \cdot {2} + \left({f_{13}\left(x\right)} + {f_{10}\left(x\right)}\right) \cdot {1}\right)\right) \cdot \left({x}^{{\frac{T}{{128}}}} - {g}^{{\frac{{127} \cdot T}{{128}}}}\right)}{{x}^{{\frac{T}{{4}}}} - {g}^{{\frac{{3} \cdot T}{{4}}}}}}$$
## [161] hash1-hash_part_next3-continuation $${\frac{\left({f_{13}\left(xg\right)} - \left(\left({f_{11}\left(x\right)} + {f_{8}\left(x\right)}\right) \cdot {f_{25}\left(x\right)} \cdot {1} + \left({f_{12}\left(x\right)} + {f_{9}\left(x\right)}\right) \cdot {1} + \left({f_{13}\left(x\right)} + {f_{10}\left(x\right)}\right) \cdot {3}\right)\right) \cdot \left({x}^{{\frac{T}{{4}}}} - {1}\right) \cdot \left({x}^{{\frac{T}{{4}}}} - {g}^{{\frac{{3} \cdot T}{{4}}}}\right)}{{x}^{{\frac{T}{{1}}}} - {1}}}$$
## [162] hash1-hash_part_next3-jump $${\frac{\left({f_{13}\left(xg^{2}\right)} - \left(\left({f_{11}\left(x\right)} + {f_{8}\left(x\right)}\right) \cdot {f_{25}\left(x\right)} \cdot {1} + \left({f_{12}\left(x\right)} + {f_{9}\left(x\right)}\right) \cdot {1} + \left({f_{13}\left(x\right)} + {f_{10}\left(x\right)}\right) \cdot {3}\right)\right) \cdot \left({x}^{{\frac{T}{{128}}}} - {g}^{{\frac{{127} \cdot T}{{128}}}}\right)}{{x}^{{\frac{T}{{4}}}} - {g}^{{\frac{{3} \cdot T}{{4}}}}}}$$
## [163] hash1-hash_part_start1 $${\frac{{f_{11}\left(xg^{64}\right)} - {f_{11}\left(xg\right)}}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [164] hash1-hash_part_start2 $${\frac{{f_{12}\left(xg^{64}\right)} - {f_{12}\left(xg\right)}}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [165] hash1-hash_part_start3 $${\frac{{f_{13}\left(xg^{64}\right)} - {f_{13}\left(xg\right)}}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [166] hash1-hash_part_end1 $${\frac{{f_{11}\left(xg^{111}\right)} - {f_{11}\left(xg^{8}\right)}}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [167] hash1-hash_part_end2 $${\frac{{f_{12}\left(xg^{111}\right)} - {f_{12}\left(xg^{8}\right)}}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [168] hash1-hash_part_end3 $${\frac{{f_{13}\left(xg^{111}\right)} - {f_{13}\left(xg^{8}\right)}}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [169] hash2-hash_start $${\frac{{f_{14}\left(xg^{116}\right)} - \left(\mathrm{hash\_start} + {1} \cdot {6} \cdot {\frac{T}{{128}}}\right)}{{x}^{{\frac{T}{T}}} - {1}}}$$
## [170] hash2-hash_end $${\frac{{f_{14}\left(xg^{(1/1)T + -12}\right)} - \left(\mathrm{hash\_end} - {6}\right)}{{x}^{{\frac{T}{T}}} - {1}}}$$
## [171] hash2-in2_addr = in1_addr + 1 $${\frac{{f_{15}\left(xg^{116}\right)} - {f_{14}\left(xg^{116}\right)} - {1}}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [172] hash2-in3_addr = in2_addr + 1 $${\frac{{f_{16}\left(xg^{116}\right)} - {f_{15}\left(xg^{116}\right)} - {1}}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [173] hash2-out1_addr = in3_addr + 1 $${\frac{{f_{14}\left(xg^{124}\right)} - {f_{16}\left(xg^{116}\right)} - {1}}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [174] hash2-out2_addr = out1_addr + 1 $${\frac{{f_{15}\left(xg^{124}\right)} - {f_{14}\left(xg^{124}\right)} - {1}}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [175] hash2-out3_addr = out2_addr + 1 $${\frac{{f_{16}\left(xg^{124}\right)} - {f_{15}\left(xg^{124}\right)} - {1}}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [176] hash2-next_in1_addr = out3_addr + 1 $${\frac{\left({f_{14}\left(xg^{244}\right)} - {f_{16}\left(xg^{124}\right)} - {1}\right) \cdot \left(x - {g}^{T - {128}}\right)}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [177] hash2-pre_round_1 $${\frac{{f_{14}\left(x\right)} - \left({f_{14}\left(xg^{108}\right)} \cdot {2} + {f_{15}\left(xg^{108}\right)} \cdot {1} + {f_{16}\left(xg^{108}\right)} \cdot {1}\right)}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [178] hash2-pre_round_2 $${\frac{{f_{15}\left(x\right)} - \left({f_{14}\left(xg^{108}\right)} \cdot {1} + {f_{15}\left(xg^{108}\right)} \cdot {2} + {f_{16}\left(xg^{108}\right)} \cdot {1}\right)}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [179] hash2-pre_round_3 $${\frac{{f_{16}\left(x\right)} - \left({f_{14}\left(xg^{108}\right)} \cdot {1} + {f_{15}\left(xg^{108}\right)} \cdot {1} + {f_{16}\left(xg^{108}\right)} \cdot {2}\right)}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [180] hash2-hash_full_1_sq $${\frac{\left({f_{26}\left(x\right)} - {\left({f_{14}\left(x\right)} + {f_{8}\left(x\right)}\right)}^{{2}}\right) \cdot \left({x}^{{\frac{T}{{128}}}} - {g}^{{\frac{{104} \cdot T}{{128}}}}\right) \cdot \left({x}^{{\frac{T}{{128}}}} - {g}^{{\frac{{112} \cdot T}{{128}}}}\right) \cdot \left({x}^{{\frac{T}{{128}}}} - {g}^{{\frac{{120} \cdot T}{{128}}}}\right)}{{x}^{{\frac{T}{{8}}}} - {1}}}$$
## [181] hash2-hash_full_2_sq $${\frac{\left({f_{14}\left(xg^{4}\right)} - {\left({f_{15}\left(x\right)} + {f_{9}\left(x\right)}\right)}^{{2}}\right) \cdot \left({x}^{{\frac{T}{{128}}}} - {g}^{{\frac{{104} \cdot T}{{128}}}}\right) \cdot \left({x}^{{\frac{T}{{128}}}} - {g}^{{\frac{{112} \cdot T}{{128}}}}\right) \cdot \left({x}^{{\frac{T}{{128}}}} - {g}^{{\frac{{120} \cdot T}{{128}}}}\right)}{{x}^{{\frac{T}{{8}}}} - {1}}}$$
## [182] hash2-hash_full_3_sq $${\frac{\left({f_{15}\left(xg^{4}\right)} - {\left({f_{16}\left(x\right)} + {f_{10}\left(x\right)}\right)}^{{2}}\right) \cdot \left({x}^{{\frac{T}{{128}}}} - {g}^{{\frac{{104} \cdot T}{{128}}}}\right) \cdot \left({x}^{{\frac{T}{{128}}}} - {g}^{{\frac{{112} \cdot T}{{128}}}}\right) \cdot \left({x}^{{\frac{T}{{128}}}} - {g}^{{\frac{{120} \cdot T}{{128}}}}\right)}{{x}^{{\frac{T}{{8}}}} - {1}}}$$
## [183] hash2-hash_full_next1 $${\frac{\left({f_{14}\left(xg^{16}\right)} - \left(\left({f_{14}\left(x\right)} + {f_{8}\left(x\right)}\right) \cdot {f_{26}\left(x\right)} \cdot {2} + \left({f_{15}\left(x\right)} + {f_{9}\left(x\right)}\right) \cdot {f_{14}\left(xg^{4}\right)} \cdot {1} + \left({f_{16}\left(x\right)} + {f_{10}\left(x\right)}\right) \cdot {f_{15}\left(xg^{4}\right)} \cdot {1}\right)\right) \cdot \left({x}^{{\frac{T}{{128}}}} - {g}^{{\frac{{104} \cdot T}{{128}}}}\right) \cdot \left({x}^{{\frac{T}{{128}}}} - {g}^{{\frac{{112} \cdot T}{{128}}}}\right) \cdot \left({x}^{{\frac{T}{{128}}}} - {g}^{{\frac{{120} \cdot T}{{128}}}}\right)}{{x}^{{\frac{T}{{8}}}} - {1}}}$$
## [184] hash2-hash_full_next2 $${\frac{\left({f_{15}\left(xg^{16}\right)} - \left(\left({f_{14}\left(x\right)} + {f_{8}\left(x\right)}\right) \cdot {f_{26}\left(x\right)} \cdot {1} + \left({f_{15}\left(x\right)} + {f_{9}\left(x\right)}\right) \cdot {f_{14}\left(xg^{4}\right)} \cdot {2} + \left({f_{16}\left(x\right)} + {f_{10}\left(x\right)}\right) \cdot {f_{15}\left(xg^{4}\right)} \cdot {1}\right)\right) \cdot \left({x}^{{\frac{T}{{128}}}} - {g}^{{\frac{{104} \cdot T}{{128}}}}\right) \cdot \left({x}^{{\frac{T}{{128}}}} - {g}^{{\frac{{112} \cdot T}{{128}}}}\right) \cdot \left({x}^{{\frac{T}{{128}}}} - {g}^{{\frac{{120} \cdot T}{{128}}}}\right)}{{x}^{{\frac{T}{{8}}}} - {1}}}$$
## [185] hash2-hash_full_next3 $${\frac{\left({f_{16}\left(xg^{16}\right)} - \left(\left({f_{14}\left(x\right)} + {f_{8}\left(x\right)}\right) \cdot {f_{26}\left(x\right)} \cdot {1} + \left({f_{15}\left(x\right)} + {f_{9}\left(x\right)}\right) \cdot {f_{14}\left(xg^{4}\right)} \cdot {1} + \left({f_{16}\left(x\right)} + {f_{10}\left(x\right)}\right) \cdot {f_{15}\left(xg^{4}\right)} \cdot {2}\right)\right) \cdot \left({x}^{{\frac{T}{{128}}}} - {g}^{{\frac{{104} \cdot T}{{128}}}}\right) \cdot \left({x}^{{\frac{T}{{128}}}} - {g}^{{\frac{{112} \cdot T}{{128}}}}\right) \cdot \left({x}^{{\frac{T}{{128}}}} - {g}^{{\frac{{120} \cdot T}{{128}}}}\right)}{{x}^{{\frac{T}{{8}}}} - {1}}}$$
## [186] hash2-hash_part_1_sq $${\frac{\left({f_{26}\left(x\right)} - {\left({f_{14}\left(x\right)} + {f_{8}\left(x\right)}\right)}^{{2}}\right) \cdot \left({x}^{{\frac{T}{{4}}}} - {1}\right)}{{x}^{{\frac{T}{{1}}}} - {1}}}$$
## [187] hash2-hash_part_next1-continuation $${\frac{\left({f_{14}\left(xg\right)} - \left(\left({f_{14}\left(x\right)} + {f_{8}\left(x\right)}\right) \cdot {f_{26}\left(x\right)} \cdot {2} + \left({f_{15}\left(x\right)} + {f_{9}\left(x\right)}\right) \cdot {1} + \left({f_{16}\left(x\right)} + {f_{10}\left(x\right)}\right) \cdot {1}\right)\right) \cdot \left({x}^{{\frac{T}{{4}}}} - {1}\right) \cdot \left({x}^{{\frac{T}{{4}}}} - {g}^{{\frac{{3} \cdot T}{{4}}}}\right)}{{x}^{{\frac{T}{{1}}}} - {1}}}$$
## [188] hash2-hash_part_next1-jump $${\frac{\left({f_{14}\left(xg^{2}\right)} - \left(\left({f_{14}\left(x\right)} + {f_{8}\left(x\right)}\right) \cdot {f_{26}\left(x\right)} \cdot {2} + \left({f_{15}\left(x\right)} + {f_{9}\left(x\right)}\right) \cdot {1} + \left({f_{16}\left(x\right)} + {f_{10}\left(x\right)}\right) \cdot {1}\right)\right) \cdot \left({x}^{{\frac{T}{{128}}}} - {g}^{{\frac{{127} \cdot T}{{128}}}}\right)}{{x}^{{\frac{T}{{4}}}} - {g}^{{\frac{{3} \cdot T}{{4}}}}}}$$
## [189] hash2-hash_part_next2-continuation $${\frac{\left({f_{15}\left(xg\right)} - \left(\left({f_{14}\left(x\right)} + {f_{8}\left(x\right)}\right) \cdot {f_{26}\left(x\right)} \cdot {1} + \left({f_{15}\left(x\right)} + {f_{9}\left(x\right)}\right) \cdot {2} + \left({f_{16}\left(x\right)} + {f_{10}\left(x\right)}\right) \cdot {1}\right)\right) \cdot \left({x}^{{\frac{T}{{4}}}} - {1}\right) \cdot \left({x}^{{\frac{T}{{4}}}} - {g}^{{\frac{{3} \cdot T}{{4}}}}\right)}{{x}^{{\frac{T}{{1}}}} - {1}}}$$
## [190] hash2-hash_part_next2-jump $${\frac{\left({f_{15}\left(xg^{2}\right)} - \left(\left({f_{14}\left(x\right)} + {f_{8}\left(x\right)}\right) \cdot {f_{26}\left(x\right)} \cdot {1} + \left({f_{15}\left(x\right)} + {f_{9}\left(x\right)}\right) \cdot {2} + \left({f_{16}\left(x\right)} + {f_{10}\left(x\right)}\right) \cdot {1}\right)\right) \cdot \left({x}^{{\frac{T}{{128}}}} - {g}^{{\frac{{127} \cdot T}{{128}}}}\right)}{{x}^{{\frac{T}{{4}}}} - {g}^{{\frac{{3} \cdot T}{{4}}}}}}$$
## [191] hash2-hash_part_next3-continuation $${\frac{\left({f_{16}\left(xg\right)} - \left(\left({f_{14}\left(x\right)} + {f_{8}\left(x\right)}\right) \cdot {f_{26}\left(x\right)} \cdot {1} + \left({f_{15}\left(x\right)} + {f_{9}\left(x\right)}\right) \cdot {1} + \left({f_{16}\left(x\right)} + {f_{10}\left(x\right)}\right) \cdot {3}\right)\right) \cdot \left({x}^{{\frac{T}{{4}}}} - {1}\right) \cdot \left({x}^{{\frac{T}{{4}}}} - {g}^{{\frac{{3} \cdot T}{{4}}}}\right)}{{x}^{{\frac{T}{{1}}}} - {1}}}$$
## [192] hash2-hash_part_next3-jump $${\frac{\left({f_{16}\left(xg^{2}\right)} - \left(\left({f_{14}\left(x\right)} + {f_{8}\left(x\right)}\right) \cdot {f_{26}\left(x\right)} \cdot {1} + \left({f_{15}\left(x\right)} + {f_{9}\left(x\right)}\right) \cdot {1} + \left({f_{16}\left(x\right)} + {f_{10}\left(x\right)}\right) \cdot {3}\right)\right) \cdot \left({x}^{{\frac{T}{{128}}}} - {g}^{{\frac{{127} \cdot T}{{128}}}}\right)}{{x}^{{\frac{T}{{4}}}} - {g}^{{\frac{{3} \cdot T}{{4}}}}}}$$
## [193] hash2-hash_part_start1 $${\frac{{f_{14}\left(xg^{64}\right)} - {f_{14}\left(xg\right)}}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [194] hash2-hash_part_start2 $${\frac{{f_{15}\left(xg^{64}\right)} - {f_{15}\left(xg\right)}}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [195] hash2-hash_part_start3 $${\frac{{f_{16}\left(xg^{64}\right)} - {f_{16}\left(xg\right)}}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [196] hash2-hash_part_end1 $${\frac{{f_{14}\left(xg^{111}\right)} - {f_{14}\left(xg^{8}\right)}}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [197] hash2-hash_part_end2 $${\frac{{f_{15}\left(xg^{111}\right)} - {f_{15}\left(xg^{8}\right)}}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [198] hash2-hash_part_end3 $${\frac{{f_{16}\left(xg^{111}\right)} - {f_{16}\left(xg^{8}\right)}}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [199] vx1-vx_start $${\frac{{f_{20}\left(xg^{3}\right)} - \mathrm{vx\_start}}{{x}^{{\frac{T}{T}}} - {1}}}$$
## [200] vx1-vx_end $${\frac{{f_{20}\left(xg^{(1/1)T + -125}\right)} - \left(\mathrm{vx\_end} - {3}\right)}{{x}^{{\frac{T}{T}}} - {1}}}$$
## [201] vx1-count_nz = count * count_inv $${\frac{{f_{20}\left(xg^{55}\right)} - {f_{19}\left(xg^{127}\right)} \cdot {f_{20}\left(xg^{51}\right)}}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [202] vx1-vx_in2_addr = vx_in1_addr + 1 $${\frac{{f_{20}\left(xg^{19}\right)} - {f_{20}\left(xg^{3}\right)} - {1}}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [203] vx1-vx_out_addr = vx_in2_addr + 1 $${\frac{{f_{20}\left(xg^{35}\right)} - {f_{20}\left(xg^{19}\right)} - {1}}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [204] vx1-vx_next_in1_addr = vx_out_addr + 1 if count = 0 $${\frac{\left({1} - {f_{20}\left(xg^{55}\right)}\right) \cdot \left({f_{20}\left(xg^{131}\right)} - {f_{20}\left(xg^{35}\right)} - {1}\right) \cdot \left(x - {g}^{T - {128}}\right)}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [205] vx1-vx_next_in1_addr = vx_in1_addr if count != 0 $${\frac{{f_{19}\left(xg^{127}\right)} \cdot \left({f_{20}\left(xg^{131}\right)} - {f_{20}\left(xg^{3}\right)}\right) \cdot \left(x - {g}^{T - {128}}\right)}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [206] vx1-vx_f_mul copied $${\frac{\left({f_{17}\left(xg^{7}\right)} - {f_{17}\left(xg^{3}\right)}\right) \cdot \left({x}^{{\frac{T}{{128}}}} - {g}^{{\frac{{124} \cdot T}{{128}}}}\right)}{{x}^{{\frac{T}{{4}}}} - {1}}}$$
## [207] vx1-vx_f_mul is bit $${\frac{{{f_{17}\left(xg^{3}\right)}}^{{2}} - {f_{17}\left(xg^{3}\right)}}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [208] vx1-v2_count_zero is bit $${\frac{{{f_{20}\left(xg^{75}\right)}}^{{2}} - {f_{20}\left(xg^{75}\right)}}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [209] vx1-v3_count_zero is bit $${\frac{{{f_{20}\left(xg^{79}\right)}}^{{2}} - {f_{20}\left(xg^{79}\right)}}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [210] vx1-vx_v1_diff_chain_start is bit $${\frac{{{f_{19}\left(xg^{3}\right)}}^{{2}} - {f_{19}\left(xg^{3}\right)}}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [211] vx1-vx_v1_diff_chain_diff is bit $${\frac{\left({\left({f_{19}\left(xg^{19}\right)} - {2} \cdot {f_{19}\left(xg^{3}\right)}\right)}^{{2}} - \left({f_{19}\left(xg^{19}\right)} - {2} \cdot {f_{19}\left(xg^{3}\right)}\right)\right) \cdot \left({x}^{{\frac{T}{{128}}}} - {g}^{{\frac{{112} \cdot T}{{128}}}}\right)}{{x}^{{\frac{T}{{16}}}} - {1}}}$$
## [212] vx1-vx_v2_diff_chain_start is bit $${\frac{{{f_{19}\left(xg^{7}\right)}}^{{2}} - {f_{19}\left(xg^{7}\right)}}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [213] vx1-vx_v2_diff_chain_diff is bit $${\frac{\left({\left({f_{19}\left(xg^{23}\right)} - {2} \cdot {f_{19}\left(xg^{7}\right)}\right)}^{{2}} - \left({f_{19}\left(xg^{23}\right)} - {2} \cdot {f_{19}\left(xg^{7}\right)}\right)\right) \cdot \left({x}^{{\frac{T}{{128}}}} - {g}^{{\frac{{112} \cdot T}{{128}}}}\right)}{{x}^{{\frac{T}{{16}}}} - {1}}}$$
## [214] vx1-vx_v3_diff_chain_start is bit $${\frac{{{f_{19}\left(xg^{11}\right)}}^{{2}} - {f_{19}\left(xg^{11}\right)}}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [215] vx1-vx_v3_diff_chain_diff is bit $${\frac{\left({\left({f_{19}\left(xg^{27}\right)} - {2} \cdot {f_{19}\left(xg^{11}\right)}\right)}^{{2}} - \left({f_{19}\left(xg^{27}\right)} - {2} \cdot {f_{19}\left(xg^{11}\right)}\right)\right) \cdot \left({x}^{{\frac{T}{{128}}}} - {g}^{{\frac{{112} \cdot T}{{128}}}}\right)}{{x}^{{\frac{T}{{16}}}} - {1}}}$$
## [216] vx1-vx_count_start is bit $${\frac{{{f_{19}\left(xg^{15}\right)}}^{{2}} - {f_{19}\left(xg^{15}\right)}}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [217] vx1-vx_count_chain_diff is bit $${\frac{\left({\left({f_{19}\left(xg^{31}\right)} - {2} \cdot {f_{19}\left(xg^{15}\right)}\right)}^{{2}} - \left({f_{19}\left(xg^{31}\right)} - {2} \cdot {f_{19}\left(xg^{15}\right)}\right)\right) \cdot \left({x}^{{\frac{T}{{128}}}} - {g}^{{\frac{{112} \cdot T}{{128}}}}\right)}{{x}^{{\frac{T}{{16}}}} - {1}}}$$
## [218] vx1-vx v1_begin $${\frac{{f_{20}\left(xg^{79}\right)} \cdot {\mathrm{400000000000000000000}_{16}} + {f_{20}\left(xg^{75}\right)} \cdot {\mathrm{200000000000000000000}_{16}} + {f_{17}\left(xg^{3}\right)} \cdot {\mathrm{100000000000000000000}_{16}} + {f_{19}\left(xg^{127}\right)} \cdot {\mathrm{1000000000000000000}_{16}} + {f_{19}\left(xg^{115}\right)} \cdot {\mathrm{10000000000000000}_{16}} + {f_{17}\left(x\right)} - {f_{20}\left(xg^{63}\right)}}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [219] vx1-vx v2_begin $${\frac{\left({1} - {f_{20}\left(xg^{75}\right)}\right) \cdot {f_{19}\left(xg^{127}\right)} \cdot {\mathrm{1000000000000000000}_{16}} + {f_{19}\left(xg^{119}\right)} \cdot {\mathrm{10000000000000000}_{16}} + {f_{17}\left(xg\right)} - {f_{20}\left(xg^{67}\right)}}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [220] vx1-vx v3_begin $${\frac{\left({1} - {f_{20}\left(xg^{79}\right)}\right) \cdot {f_{19}\left(xg^{127}\right)} \cdot {\mathrm{1000000000000000000}_{16}} + {f_{19}\left(xg^{123}\right)} \cdot {\mathrm{10000000000000000}_{16}} + {f_{17}\left(xg^{2}\right)} - {f_{20}\left(xg^{71}\right)}}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [221] vx1-vx v1_stride $${\frac{{f_{17}\left(xg^{4}\right)} - {f_{17}\left(x\right)} - {f_{19}\left(xg^{115}\right)}}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [222] vx1-vx v2_stride $${\frac{{f_{17}\left(xg^{5}\right)} - {f_{17}\left(xg\right)} - {f_{19}\left(xg^{119}\right)}}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [223] vx1-vx v3_stride $${\frac{{f_{17}\left(xg^{6}\right)} - {f_{17}\left(xg^{2}\right)} - {f_{19}\left(xg^{123}\right)}}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [224] vx1-vx product $${\frac{{f_{18}\left(xg^{3}\right)} - {f_{18}\left(x\right)} \cdot {f_{18}\left(xg\right)}}{{x}^{{\frac{T}{{4}}}} - {1}}}$$
## [225] vx1-vx result $${\frac{{f_{18}\left(xg^{2}\right)} - \left({f_{17}\left(xg^{3}\right)} \cdot {f_{18}\left(xg^{3}\right)} + \left({1} - {f_{17}\left(xg^{3}\right)}\right) \cdot \left({f_{18}\left(x\right)} + {f_{18}\left(xg\right)}\right)\right)}{{x}^{{\frac{T}{{4}}}} - {1}}}$$
## [226] vx1-vx in1_continue internal $${\frac{{f_{19}\left(xg^{127}\right)} \cdot \left({f_{20}\left(xg^{191}\right)} - \left({f_{20}\left(xg^{63}\right)} + {f_{19}\left(xg^{115}\right)} \cdot {32} - {\mathrm{1000000000000000000}_{16}}\right)\right) \cdot \left(x - {g}^{T - {128}}\right)}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [227] vx1-vx in2_continue internal $${\frac{{f_{19}\left(xg^{127}\right)} \cdot \left({f_{20}\left(xg^{195}\right)} - \left({f_{20}\left(xg^{67}\right)} + {f_{19}\left(xg^{119}\right)} \cdot {32} - \left({1} - {f_{20}\left(xg^{75}\right)}\right) \cdot {\mathrm{1000000000000000000}_{16}}\right)\right) \cdot \left(x - {g}^{T - {128}}\right)}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [228] vx1-vx out_continue internal $${\frac{{f_{19}\left(xg^{127}\right)} \cdot \left({f_{20}\left(xg^{199}\right)} - \left({f_{20}\left(xg^{71}\right)} + {f_{19}\left(xg^{123}\right)} \cdot {32} - \left({1} - {f_{20}\left(xg^{79}\right)}\right) \cdot {\mathrm{1000000000000000000}_{16}}\right)\right) \cdot \left(x - {g}^{T - {128}}\right)}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [229] vx1-vx in1_step $${\frac{\left({1} - {f_{20}\left(xg^{59}\right)}\right) \cdot \left({f_{20}\left(xg^{63}\right)} - {f_{20}\left(xg^{7}\right)}\right)}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [230] vx1-vx in2_step $${\frac{\left({1} - {f_{20}\left(xg^{59}\right)}\right) \cdot \left({f_{20}\left(xg^{67}\right)} - {f_{20}\left(xg^{23}\right)}\right)}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [231] vx1-vx out_step $${\frac{\left({1} - {f_{20}\left(xg^{59}\right)}\right) \cdot \left({f_{20}\left(xg^{71}\right)} - {f_{20}\left(xg^{39}\right)}\right)}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [232] vx1-first prev_count_nz is zero $${\frac{{f_{20}\left(xg^{59}\right)}}{{x}^{{\frac{T}{T}}} - {1}}}$$
## [233] vx1-prev_count_nz is copied $${\frac{\left({f_{20}\left(xg^{187}\right)} - {f_{19}\left(xg^{127}\right)}\right) \cdot \left(x - {g}^{T - {128}}\right)}{{x}^{{\frac{T}{{128}}}} - {1}}}$$
## [234] vx1-vx last_count is zero $${\frac{{f_{19}\left(xg^{(1/1)T + -1}\right)}}{{x}^{{\frac{T}{T}}} - {1}}}$$
## [235] vx1-vx v1_addr is arithmetic $${\frac{\left({f_{17}\left(xg^{8}\right)} - {f_{17}\left(xg^{4}\right)} - \left({f_{17}\left(xg^{4}\right)} - {f_{17}\left(x\right)}\right)\right) \cdot \left({x}^{{\frac{T}{{128}}}} - {g}^{{\frac{{120} \cdot T}{{128}}}}\right) \cdot \left({x}^{{\frac{T}{{128}}}} - {g}^{{\frac{{124} \cdot T}{{128}}}}\right)}{{x}^{{\frac{T}{{4}}}} - {1}}}$$
## [236] vx1-vx v2_addr is arithmetic $${\frac{\left({f_{17}\left(xg^{9}\right)} - {f_{17}\left(xg^{5}\right)} - \left({f_{17}\left(xg^{5}\right)} - {f_{17}\left(xg\right)}\right)\right) \cdot \left({x}^{{\frac{T}{{128}}}} - {g}^{{\frac{{120} \cdot T}{{128}}}}\right) \cdot \left({x}^{{\frac{T}{{128}}}} - {g}^{{\frac{{124} \cdot T}{{128}}}}\right)}{{x}^{{\frac{T}{{4}}}} - {1}}}$$
## [237] vx1-vx v3_addr is arithmetic $${\frac{\left({f_{17}\left(xg^{10}\right)} - {f_{17}\left(xg^{6}\right)} - \left({f_{17}\left(xg^{6}\right)} - {f_{17}\left(xg^{2}\right)}\right)\right) \cdot \left({x}^{{\frac{T}{{128}}}} - {g}^{{\frac{{120} \cdot T}{{128}}}}\right) \cdot \left({x}^{{\frac{T}{{128}}}} - {g}^{{\frac{{124} \cdot T}{{128}}}}\right)}{{x}^{{\frac{T}{{4}}}} - {1}}}$$